Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family Schematic (c :: (* -> *) -> k) (t :: * -> *) = (r :: (* -> *) -> * -> *) | r -> t Source #
Instances
type Schematic Monad Maybe Source # | |
type Schematic Comonad (Store s) Source # | |
type Schematic Comonad (Imprint e) Source # | |
Defined in Pandora.Paradigm.Inventory.Imprint | |
type Schematic Comonad (Equipment e) Source # | |
type Schematic Monad (Conclusion e) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion | |
type Schematic Monad (State s) Source # | |
type Schematic Monad (Environment e) Source # | |
Defined in Pandora.Paradigm.Inventory.Environment | |
type Schematic Monad (Accumulator e) Source # | |
Defined in Pandora.Paradigm.Inventory.Accumulator |
class Interpreted t where Source #
run :: t a -> Primary t a Source #
unite :: Primary t a -> t a Source #
(||=) :: (Primary t a -> Primary t b) -> t a -> t b Source #
(=||) :: (t a -> t b) -> Primary t a -> Primary t b Source #
Instances
(-=:) :: (Liftable t, Interpreted (t u), Interpreted (t v), Covariant u) => (t u a -> t v b) -> u a -> Primary (t v) b Source #