Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
module Pandora.Paradigm.Schemes.TT
module Pandora.Paradigm.Schemes.TU
module Pandora.Paradigm.Schemes.TUT
module Pandora.Paradigm.Schemes.UT
module Pandora.Paradigm.Schemes.UTU
module Pandora.Paradigm.Schemes.T_U
module Pandora.Paradigm.Schemes.U_T
module Pandora.Paradigm.Schemes.PTU
module Pandora.Paradigm.Schemes.P_T
module Pandora.Paradigm.Schemes.PQ_
type family Schematic (c :: (* -> * -> *) -> (* -> *) -> k) (t :: * -> *) = (r :: (* -> *) -> * -> *) | r -> t Source #
Instances
type Schematic Monad Maybe Source # | |
type Schematic Monad (Conclusion e) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion | |
type Schematic Monad (State s) Source # | |
type Schematic Monad (Provision e) Source # | |
Defined in Pandora.Paradigm.Inventory.Some.Provision | |
type Schematic Monad (Accumulator e) Source # | |
Defined in Pandora.Paradigm.Inventory.Some.Accumulator | |
type Schematic Comonad (Store s) Source # | |
type Schematic Comonad (Imprint e) Source # | |
Defined in Pandora.Paradigm.Inventory.Some.Imprint | |
type Schematic Comonad (Equipment e) Source # | |
Orphan instances
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (w <:.> u), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v) (w <:.> u) Source # | |
(-|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (|-) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|--------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|-------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|-----) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|----) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|---) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (|--) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source # (--------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (-------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (-----|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (----|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (w <.:> u), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v) (w <.:> u) Source # | |
(-|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b Source # (|-) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # (|--------) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # (|-------) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # (|------) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # (|-----) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # (|----) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # (|---) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # (|--) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b Source # (--------|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b Source # (-------|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b Source # (------|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b Source # (-----|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b Source # (----|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (w <.:> u), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t) (w <.:> u) Source # | |
(-|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (|-) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|--------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|-------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|-----) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|----) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|---) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (|--) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source # (--------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (-------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (-----|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (----|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (u <:.> w), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t) (u <:.> w) Source # | |
(-|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (|-) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|--------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|-------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|-----) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|----) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|---) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (|--) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source # (--------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (-------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (-----|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (----|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t <:<.>:> u) t'), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((v <:<.>:> w) v'), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t w, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' v', Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t v, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u v, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v' t') => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t <:<.>:> u) t') ((v <:<.>:> w) v') Source # | |
(-|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # (|-) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # (|--------) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # (|-------) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # (|------) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # (|-----) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # (|----) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # (|---) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # (|--) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # (--------|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # (-------|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # (------|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # (-----|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # (----|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # (---|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # (--|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # |