Pandora.Paradigm.Junction.Kan

Documentation

newtype Lan (t :: * -> *) (u :: * -> *) (b :: *) (a :: *)

Constructors

Lan

Fields

• lan :: (t b -> a) -> u b

Instances

Contravariant (Lan t u b)

Defined in Pandora.Paradigm.Junction.Kan

Methods

(>$<) :: (a -> b0) -> Lan t u b b0 -> Lan t u b a

contramap :: (a -> b0) -> Lan t u b b0 -> Lan t u b a

(>$) :: b0 -> Lan t u b b0 -> Lan t u b a

($<) :: Lan t u b b0 -> b0 -> Lan t u b a

full :: Lan t u b () -> Lan t u b a

(>$$$<) :: (Contravariant u0, Contravariant v) => (a -> b0) -> Lan t u b (u0 (v b0)) -> Lan t u b (u0 (v a))

newtype Ran (t :: * -> *) (u :: * -> *) (b :: *) (a :: *)

Constructors

Ran

Fields

• ran :: (a -> t b) -> u b

Instances

Covariant (Ran t u b)

Defined in Pandora.Paradigm.Junction.Kan

Methods

(<$>) :: (a -> b0) -> Ran t u b a -> Ran t u b b0

comap :: (a -> b0) -> Ran t u b a -> Ran t u b b0

(<$) :: a -> Ran t u b b0 -> Ran t u b a

($>) :: Ran t u b a -> b0 -> Ran t u b b0

void :: Ran t u b a -> Ran t u b ()

loeb :: Ran t u b (Ran t u b a -> a) -> Ran t u b a

(<$$>) :: Covariant u0 => (a -> b0) -> Ran t u b (u0 a) -> Ran t u b (u0 b0)

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b0) -> Ran t u b (u0 (v a)) -> Ran t u b (u0 (v b0))

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b0) -> Ran t u b (u0 (v (w a))) -> Ran t u b (u0 (v (w b0)))