Pandora.Paradigm.Primary.Transformer.Jack

Documentation

data Jack t a

Constructors

It a

Other (t a)

Instances

Liftable Jack

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

lift :: forall (u :: Type -> Type). Covariant u (->) (->) => u ~> Jack u

Hoistable Jack

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(/|\) :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u (->) (->) => (u ~> v) -> Jack u ~> Jack v

hoist :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u (->) (->) => (u ~> v) -> Jack u ~> Jack v

Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Pointable (Jack t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

point :: a -> Jack t a

Extractable t ((->) :: Type -> Type -> Type) => Extractable (Jack t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

extract :: Jack t a -> a

Extendable t ((->) :: Type -> Type -> Type) => Extendable (Jack t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(<<=) :: (Jack t a -> b) -> Jack t a -> Jack t b

(Pointable t ((->) :: Type -> Type -> Type), Bindable t ((->) :: Type -> Type -> Type)) => Bindable (Jack t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(=<<) :: (a -> Jack t b) -> Jack t a -> Jack t b

Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Covariant (Jack t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(-<$>-) :: (a -> b) -> Jack t a -> Jack t b

Traversable t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Traversable (Jack t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> Jack t a -> u (Jack t b)

(Setoid a, Setoid (t a)) => Setoid (Jack t a)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(==) :: Jack t a -> Jack t a -> Boolean

(!=) :: Jack t a -> Jack t a -> Boolean

(Chain a, Chain (t a)) => Chain (Jack t a)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(<=>) :: Jack t a -> Jack t a -> Ordering

(<) :: Jack t a -> Jack t a -> Boolean

(<=) :: Jack t a -> Jack t a -> Boolean

(>) :: Jack t a -> Jack t a -> Boolean

(>=) :: Jack t a -> Jack t a -> Boolean

jack :: (a -> r) -> (t a -> r) -> Jack t a -> r