Data.Machine.Is

Documentation

data Is a b where

Witnessed type equality

Constructors

Refl :: Is a a

Instances

Automaton Is

Methods

auto :: Is a b -> Process a b

Category * Is

Methods

id :: cat a a

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

Eq (Is a b)

Methods

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

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

Ord (Is a b)

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)

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)

Methods

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

show :: Is a b -> String

showList :: [Is a b] -> ShowS

(~) * a b => Monoid (Is a b)

Methods

mempty :: Is a b

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

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