machines-0.6.3: Networked stream transducers

Copyright	(C) 2012 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	GADTs, Type Families
Safe Haskell	Safe
Language	Haskell2010

Data.Machine.Is

Description

Synopsis

Documentation

data Is a b where Source #

Witnessed type equality

Constructors

Refl :: Is a a

Instances

Automaton Is Source #
Methods auto :: Is a b -> Process a b Source #
Category * Is Source #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #
Eq (Is a b) Source #
Methods (==) :: Is a b -> Is a b -> Bool # (/=) :: Is a b -> Is a b -> Bool #
Ord (Is a b) Source #
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 #
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 #
Methods showsPrec :: Int -> Is a b -> ShowS # show :: Is a b -> String # showList :: [Is a b] -> ShowS #
(~) * a b => Semigroup (Is a b) Source #
Methods (<>) :: Is a b -> Is a b -> Is a b # sconcat :: NonEmpty (Is a b) -> Is a b # stimes :: Integral b => b -> Is a b -> Is a b #
(~) * a b => Monoid (Is a b) Source #
Methods mempty :: Is a b # mappend :: Is a b -> Is a b -> Is a b # mconcat :: [Is a b] -> Is a b #