Pandora.Paradigm.Primary

Documentation

module Pandora.Paradigm.Primary.Object

module Pandora.Paradigm.Primary.Functor

module Pandora.Paradigm.Primary.Transformer

Orphan instances

Category (Flip ((->) :: Type -> Type -> Type))

Methods

identity :: Flip (->) a a

(.) :: Flip (->) b c -> Flip (->) a b -> Flip (->) a c

($) :: Flip (->) ~~> Flip (->)

(/) :: Flip (->) ~~> Flip (->)

Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe

Associated Types

type Morphing ('Into (Flip Conclusion e)) Maybe :: Type -> Type

Methods

morphing :: (Tagged ('Into (Flip Conclusion e)) <:.> Maybe) ~> Morphing ('Into (Flip Conclusion e)) Maybe

Morphable ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe

Associated Types

type Morphing ('Into (Conclusion e)) Maybe :: Type -> Type

Methods

morphing :: (Tagged ('Into (Conclusion e)) <:.> Maybe) ~> Morphing ('Into (Conclusion e)) Maybe

Morphable ('Into ('Left Maybe)) Wye

Associated Types

type Morphing ('Into ('Left Maybe)) Wye :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Left Maybe)) <:.> Wye) ~> Morphing ('Into ('Left Maybe)) Wye

Morphable ('Into ('Right Maybe)) Wye

Associated Types

type Morphing ('Into ('Right Maybe)) Wye :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Right Maybe)) <:.> Wye) ~> Morphing ('Into ('Right Maybe)) Wye

Morphable ('Into Maybe) (Conclusion e)

Associated Types

type Morphing ('Into Maybe) (Conclusion e) :: Type -> Type

Methods

morphing :: (Tagged ('Into Maybe) <:.> Conclusion e) ~> Morphing ('Into Maybe) (Conclusion e)

Morphable ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2)

Associated Types

type Morphing ('Into ('There Maybe)) (Wedge e2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('There Maybe)) <:.> Wedge e2) ~> Morphing ('Into ('There Maybe)) (Wedge e2)

Morphable ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2)

Associated Types

type Morphing ('Into ('This Maybe)) (These e2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('This Maybe)) <:.> These e2) ~> Morphing ('Into ('This Maybe)) (These e2)

Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2)

Associated Types

type Morphing ('Into ('Here Maybe)) (Flip Wedge a2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Here Maybe)) <:.> Flip Wedge a2) ~> Morphing ('Into ('Here Maybe)) (Flip Wedge a2)

Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2)

Associated Types

type Morphing ('Into ('That Maybe)) (Flip These a2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('That Maybe)) <:.> Flip These a2) ~> Morphing ('Into ('That Maybe)) (Flip These a2)

Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:))

Associated Types

type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into Wye) <:.> ((Maybe <:.:> Maybe) := (:*:))) ~> Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:))

Contravariant (Flip ((->) :: Type -> Type -> Type) r)

Methods

(>$<) :: (a -> b) -> Flip (->) r b -> Flip (->) r a

contramap :: (a -> b) -> Flip (->) r b -> Flip (->) r a

(>$) :: b -> Flip (->) r b -> Flip (->) r a

($<) :: Flip (->) r b -> b -> Flip (->) r a

full :: Flip (->) r () -> Flip (->) r a

(>&<) :: Flip (->) r b -> (a -> b) -> Flip (->) r a

(>$$<) :: Contravariant u => (a -> b) -> ((Flip (->) r :. u) := a) -> (Flip (->) r :. u) := b

(>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> ((Flip (->) r :. (u :. v)) := b) -> (Flip (->) r :. (u :. v)) := a

(>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> ((Flip (->) r :. (u :. (v :. w))) := a) -> (Flip (->) r :. (u :. (v :. w))) := b

(>&&<) :: Contravariant u => ((Flip (->) r :. u) := a) -> (a -> b) -> (Flip (->) r :. u) := b

(>&&&<) :: (Contravariant u, Contravariant v) => ((Flip (->) r :. (u :. v)) := b) -> (a -> b) -> (Flip (->) r :. (u :. v)) := a

(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Flip (->) r :. (u :. (v :. w))) := a) -> (a -> b) -> (Flip (->) r :. (u :. (v :. w))) := b