LiveCoding.Coalgebra

Documentation

type StateTransition m a b s = a -> m (b, s)

data MSF m a b

Constructors

MSF

Fields

• unMSF :: StateTransition m a b (MSF m a b)

data Coalg m a b where

Constructors

Coalg :: s -> (s -> StateTransition m a b s) -> Coalg m a b

finality :: Monad m => Coalg m a b -> MSF m a b

finalityC :: Monad m => Cell m a b -> MSF m a b

coalgebra :: MSF m a b -> Coalg m a b

coalgebraC :: Data (MSF m a b) => MSF m a b -> Cell m a b

type AlgStructure m a b s = StateTransition m a b s -> s

data Alg m a b where

Constructors

Alg :: s -> AlgStructure m a b s -> Alg m a b

algMSF :: MSF m a b -> Alg m a b

initiality :: Functor m => AlgStructure m a b s -> MSF m a b -> s