machines-0.1.2: Networked stream transducers

PortabilityGADTs, Type Families
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Inferred

Data.Machine.Is

Description

 

Synopsis

Documentation

data Is a b whereSource

Witnessed type equality

Constructors

Refl :: Is a a 

Instances

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