Kindly.Rank2

Work in Progress.

Documentation

data MyHKD f

Constructors

MyHKD

Fields

• one :: f Bool
• two :: f ()

Instances

CategoricalFunctor MyHKD

Defined in Kindly.Rank2

Associated Types

type Dom MyHKD :: from -> from -> Type

type Cod MyHKD :: to -> to -> Type

Methods

map :: forall (a :: from) (b :: from). Dom MyHKD a b -> Cod MyHKD (MyHKD a) (MyHKD b)

type Dom MyHKD

Defined in Kindly.Rank2

type Dom MyHKD = (->) ~> (->)

type Cod MyHKD

Defined in Kindly.Rank2

type Cod MyHKD = (->)

newtype MyHKD2 p

Constructors

MyHKD2

Fields

• field :: p () Bool

Instances

CategoricalFunctor MyHKD2

Defined in Kindly.Rank2

Associated Types

type Dom MyHKD2 :: from -> from -> Type

type Cod MyHKD2 :: to -> to -> Type

Methods

map :: forall (a :: from) (b :: from). Dom MyHKD2 a b -> Cod MyHKD2 (MyHKD2 a) (MyHKD2 b)

type Dom MyHKD2

Defined in Kindly.Rank2

type Dom MyHKD2 = (->) ~> ((->) ~> (->))

type Cod MyHKD2

Defined in Kindly.Rank2

type Cod MyHKD2 = (->)