Portability | GHC |
---|---|
Stability | highly unstable |
Maintainer | stephen.tetley@gmail.com |
Common types and operations.
- type PrimResult u a = (a, CatPrim)
- class UConvert f where
- uconvF :: (Functor t, InterpretUnit u, InterpretUnit u1) => f u (t u) -> f u1 (t u1)
- uconvZ :: (InterpretUnit u, InterpretUnit u1) => f u a -> f u1 a
- ignoreAns :: Functor (f u) => f u a -> f u (UNil u)
- replaceAns :: Functor (f u) => a -> f u z -> f u a
- class Decorate f where
- sdecorate :: Decorate f => f u a -> f u z -> f u a
- adecorate :: Decorate f => f u a -> f u z -> f u a
- selaborate :: Decorate f => f u a -> (a -> f u z) -> f u a
- aelaborate :: Decorate f => f u a -> (a -> f u z) -> f u a
Documentation
type PrimResult u a = (a, CatPrim)Source
uconvF :: (Functor t, InterpretUnit u, InterpretUnit u1) => f u (t u) -> f u1 (t u1)Source
uconvZ :: (InterpretUnit u, InterpretUnit u1) => f u a -> f u1 aSource
ignoreAns :: Functor (f u) => f u a -> f u (UNil u)Source
Note - the kind of f allows fo unit annotation.
replaceAns :: Functor (f u) => a -> f u z -> f u aSource
Replace the answer produced by a graphic object.
Decorate an object
oliterate - drops the graphic from the first object replacing it with the graphic from the second.
selaborate :: Decorate f => f u a -> (a -> f u z) -> f u aSource
aelaborate :: Decorate f => f u a -> (a -> f u z) -> f u aSource