machines-0.6: 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 
Category * Is Source 
Eq (Is a b) Source 
Ord (Is a b) Source 
(~) * a b => Read (Is a b) Source 
Show (Is a b) Source 
(~) * a b => Monoid (Is a b) Source