Safe Haskell	Safe-Inferred
Language	Haskell2010

Kindly.Rank2

Description

Work in Progress.

Documentation

Constructors

MyHKD
Fields one :: f Bool two :: f ()

Instances details

CategoricalFunctor MyHKD Source #
Instance details Defined in Kindly.Rank2 Associated Types type Dom MyHKD :: from -> from -> Type Source # type Cod MyHKD :: to -> to -> Type Source # Methods map :: forall (a :: from) (b :: from). Dom MyHKD a b -> Cod MyHKD (MyHKD a) (MyHKD b) Source #
type Dom MyHKD Source #
Instance details Defined in Kindly.Rank2 type Dom MyHKD = (->) ~> (->)
type Cod MyHKD Source #
Instance details Defined in Kindly.Rank2 type Cod MyHKD = (->)

Constructors

MyHKD2
Fields field :: p () Bool

Instances details

CategoricalFunctor MyHKD2 Source #
Instance details Defined in Kindly.Rank2 Associated Types type Dom MyHKD2 :: from -> from -> Type Source # type Cod MyHKD2 :: to -> to -> Type Source # Methods map :: forall (a :: from) (b :: from). Dom MyHKD2 a b -> Cod MyHKD2 (MyHKD2 a) (MyHKD2 b) Source #
type Dom MyHKD2 Source #
Instance details Defined in Kindly.Rank2 type Dom MyHKD2 = (->) ~> ((->) ~> (->))
type Cod MyHKD2 Source #
Instance details Defined in Kindly.Rank2 type Cod MyHKD2 = (->)