machines-0.1.1: Networked stream transducers

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

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) 
Ord (Is a b) 
~ * a b => Read (Is a b) 
Show (Is a b) 
~ * a b => Monoid (Is a b)