machines-0.7.2: 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

Instances details
Automaton Is Source # 
Instance details

Defined in Data.Machine.Process

Methods

auto :: Is a b -> Process a b Source #

Category Is Source # 
Instance details

Defined in Data.Machine.Is

Methods

id :: forall (a :: k). Is a a #

(.) :: forall (b :: k) (c :: k) (a :: k). Is b c -> Is a b -> Is a c #

Eq (Is a b) Source # 
Instance details

Defined in Data.Machine.Is

Methods

(==) :: Is a b -> Is a b -> Bool #

(/=) :: Is a b -> Is a b -> Bool #

Ord (Is a b) Source # 
Instance details

Defined in Data.Machine.Is

Methods

compare :: Is a b -> Is a b -> Ordering #

(<) :: Is a b -> Is a b -> Bool #

(<=) :: Is a b -> Is a b -> Bool #

(>) :: Is a b -> Is a b -> Bool #

(>=) :: Is a b -> Is a b -> Bool #

max :: Is a b -> Is a b -> Is a b #

min :: Is a b -> Is a b -> Is a b #

a ~ b => Read (Is a b) Source # 
Instance details

Defined in Data.Machine.Is

Methods

readsPrec :: Int -> ReadS (Is a b) #

readList :: ReadS [Is a b] #

readPrec :: ReadPrec (Is a b) #

readListPrec :: ReadPrec [Is a b] #

Show (Is a b) Source # 
Instance details

Defined in Data.Machine.Is

Methods

showsPrec :: Int -> Is a b -> ShowS #

show :: Is a b -> String #

showList :: [Is a b] -> ShowS #

a ~ b => Semigroup (Is a b) Source # 
Instance details

Defined in Data.Machine.Is

Methods

(<>) :: Is a b -> Is a b -> Is a b #

sconcat :: NonEmpty (Is a b) -> Is a b #

stimes :: Integral b0 => b0 -> Is a b -> Is a b #

a ~ b => Monoid (Is a b) Source # 
Instance details

Defined in Data.Machine.Is

Methods

mempty :: Is a b #

mappend :: Is a b -> Is a b -> Is a b #

mconcat :: [Is a b] -> Is a b #