Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Schemes.T_U

Documentation

newtype T_U ct cu t u a Source #

Constructors

T_U (t a :*: u a)

Instances

Instances details

Rotatable ('Down ('Right :: a -> Wye a) :: Vertical (a -> Wye a)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary Associated Types type Rotational ('Down 'Right) (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a Source # Methods rotation :: Tagged ('Down 'Right) ((Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational ('Down 'Right) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0 Source #
Rotatable ('Down ('Left :: a -> Wye a) :: Vertical (a -> Wye a)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary Associated Types type Rotational ('Down 'Left) (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a Source # Methods rotation :: Tagged ('Down 'Left) ((Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational ('Down 'Left) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0 Source #
Covariant t => Hoistable (T_U Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.T_U Methods hoist :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u => (u ~> v) -> T_U Covariant Covariant t u ~> T_U Covariant Covariant t v Source #
Rotatable ('Up :: a -> Vertical a) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary Associated Types type Rotational 'Up (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a Source # Methods rotation :: Tagged 'Up ((Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational 'Up (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0 Source #
Avoidable t => Liftable (T_U Covariant Covariant t) Source #
Instance details Defined in Pandora.Paradigm.Schemes.T_U Methods lift :: forall (u :: Type -> Type). Covariant u => u ~> T_U Covariant Covariant t u Source #
Lowerable (T_U Covariant Covariant t) Source #
Instance details Defined in Pandora.Paradigm.Schemes.T_U Methods lower :: forall (u :: Type -> Type). Covariant u => T_U Covariant Covariant t u ~> u Source #
Interpreted (T_U ct cu t u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.T_U Associated Types type Primary (T_U ct cu t u) a Source # Methods run :: T_U ct cu t u a -> Primary (T_U ct cu t u) a Source # unite :: Primary (T_U ct cu t u) a -> T_U ct cu t u a Source #
type Rotational ('Down ('Right :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary type Rotational ('Down ('Right :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2
type Rotational ('Down ('Left :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary type Rotational ('Down ('Left :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2
type Rotational ('Up :: a1 -> Vertical a1) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary type Rotational ('Up :: a1 -> Vertical a1) (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <::> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2
type Primary (T_U ct cu t u) a Source #
Instance details Defined in Pandora.Paradigm.Schemes.T_U type Primary (T_U ct cu t u) a = t a :*: u a

type (<:*:>) = T_U Covariant Covariant Source #

type (>:*:>) = T_U Contravariant Covariant Source #

type (<:*:<) = T_U Covariant Contravariant Source #

type (>:*:<) = T_U Contravariant Contravariant Source #