Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Interpreted m t => Comonadic m t where Source #
bring :: Extractable u => m ((t :< u) a) (t a) Source #
newtype (t :< u) a infixr 3 Source #
Instances
Monoidal (-->) (-->) (:*:) (:*:) (Schematic Comonad t u) => Monoidal (-->) (-->) (:*:) (:*:) (t :< u) Source # | |
Semimonoidal (-->) (:*:) (:*:) (Schematic Comonad t u) => Semimonoidal (-->) (:*:) (:*:) (t :< u :: Type -> Type) Source # | |
Hoistable ((->) :: Type -> Type -> Type) (Schematic Comonad t) => Hoistable ((->) :: Type -> Type -> Type) ((:<) t :: (Type -> Type) -> Type -> Type) Source # | |
Lowerable ((->) :: Type -> Type -> Type) (Schematic Comonad t) => Lowerable ((->) :: Type -> Type -> Type) ((:<) t) Source # | |
Extendable ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Extendable ((->) :: Type -> Type -> Type) (t :< u) Source # | |
Bindable ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Bindable ((->) :: Type -> Type -> Type) (t :< u) Source # | |
Interpreted ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Interpreted ((->) :: Type -> Type -> Type) (t :< u) Source # | |
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic run :: (t :< u) a -> Primary (t :< u) a Source # unite :: Primary (t :< u) a -> (t :< u) a Source # (!) :: (t :< u) a -> Primary (t :< u) a Source # (||=) :: (Semigroupoid (->), Interpreted (->) u0) => (Primary (t :< u) a -> Primary u0 b) -> (t :< u) a -> u0 b Source # (=||) :: (Semigroupoid (->), Interpreted (->) u0) => ((t :< u) a -> u0 b) -> Primary (t :< u) a -> Primary u0 b Source # (<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (Primary (t :< u) a -> Primary u0 b) -> (j := (t :< u) a) -> (j := u0 b) Source # (=||$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => ((t :< u) a -> u0 b) -> (j := Primary (t :< u) a) -> (j := Primary u0 b) Source # | |
(Extractable (t :< u), Extendable ((->) :: Type -> Type -> Type) (t :< u)) => Comonad ((->) :: Type -> Type -> Type) (t :< u) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :< u) Source # | |
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic (<-|-) :: (a -> b) -> (t :< u) a -> (t :< u) b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 (v a)) -> (t :< u) (u0 (v b)) Source # | |
Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :< u) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :< u) Source # | |
type Primary (t :< u) a Source # | |