machines-0.4: 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-Inferred
LanguageHaskell2010

Data.Machine.Is

Description

 

Synopsis

Documentation

data Is a b where Source

Witnessed type equality

Constructors

Refl :: Is a a 

Instances

Automaton Is 
Category * Is 
Eq (Is a b) 
Ord (Is a b) 
(~) * a b => Read (Is a b) 
Show (Is a b) 
(~) * a b => Monoid (Is a b)