machines-0.2.3: Networked stream transducers

Portability	GADTs, Type Families
Stability	provisional
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	Safe-Inferred

Data.Machine.Is

Description

Synopsis

data Is a b where
- Refl :: Is a a

Documentation

data Is a b whereSource

Witnessed type equality

Constructors

Refl :: Is a a

Instances

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)