Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
type family Schematic (c :: (* -> *) -> k) (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u Source #
Instances
type Schematic Monad Maybe u Source # | |
type Schematic Monad (State s) u Source # | |
type Schematic Monad (Accumulator e) u Source # | |
Defined in Pandora.Paradigm.Inventory.Accumulator | |
type Schematic Monad (Conclusion e) u Source # | |
Defined in Pandora.Paradigm.Basis.Conclusion | |
type Schematic Monad (Environment e) u Source # | |
Defined in Pandora.Paradigm.Inventory.Environment | |
type Schematic Comonad (Store p) u Source # | |
type Schematic Comonad (Imprint e) u Source # | |
type Schematic Comonad (Equipment e) u Source # | |