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

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

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

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

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

(>&&<) :: Contravariant u0 => (Lan t u b :.: u0) a -> (a -> b0) -> (Lan t u b :.: u0) b0

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

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

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

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

(<$$>) :: 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

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

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

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