Data.Machine.Is

Documentation

data Is a b where

Witnessed type equality

Constructors

Refl :: Is a a

Instances

Automaton Is

Defined in Data.Machine.Process

Methods

auto :: Is a b -> Process a b

Category Is

Defined in Data.Machine.Is

Methods

id :: Is a a

(.) :: Is b c -> Is a b -> Is a c

Eq (Is a b)

Defined in Data.Machine.Is

Methods

(==) :: Is a b -> Is a b -> Bool

(/=) :: Is a b -> Is a b -> Bool

Ord (Is a b)

Defined in Data.Machine.Is

Methods

compare :: Is a b -> Is a b -> Ordering

(<) :: Is a b -> Is a b -> Bool

(<=) :: Is a b -> Is a b -> Bool

(>) :: Is a b -> Is a b -> Bool

(>=) :: Is a b -> Is a b -> Bool

max :: Is a b -> Is a b -> Is a b

min :: Is a b -> Is a b -> Is a b

a ~ b => Read (Is a b)

Defined in Data.Machine.Is

Methods

readsPrec :: Int -> ReadS (Is a b)

readList :: ReadS [Is a b]

readPrec :: ReadPrec (Is a b)

readListPrec :: ReadPrec [Is a b]

Show (Is a b)

Defined in Data.Machine.Is

Methods

showsPrec :: Int -> Is a b -> ShowS

show :: Is a b -> String

showList :: [Is a b] -> ShowS

a ~ b => Semigroup (Is a b)

Defined in Data.Machine.Is

Methods

(<>) :: Is a b -> Is a b -> Is a b

sconcat :: NonEmpty (Is a b) -> Is a b

stimes :: Integral b0 => b0 -> Is a b -> Is a b

a ~ b => Monoid (Is a b)

Defined in Data.Machine.Is

Methods

mempty :: Is a b

mappend :: Is a b -> Is a b -> Is a b

mconcat :: [Is a b] -> Is a b