machines-0.6.2: Networked stream transducers

Copyright(C) 2012 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
PortabilityGADTs, Type Families
Safe HaskellSafe
LanguageHaskell2010

Data.Machine.Is

Description

 

Synopsis

Documentation

data Is a b where Source #

Witnessed type equality

Constructors

Refl :: Is a a 

Instances

Automaton Is Source # 

Methods

auto :: Is a b -> Process a b Source #

Category * Is Source # 

Methods

id :: cat a a #

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

Eq (Is a b) Source # 

Methods

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

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

Ord (Is a b) Source # 

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) Source # 

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) Source # 

Methods

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

show :: Is a b -> String #

showList :: [Is a b] -> ShowS #

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

Methods

mempty :: Is a b #

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

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