Control.Applicative.Parameterized

Documentation

class PPointed f => PApplicative f where

Methods

pap :: f (a -> b) c -> f a c -> f b c

Instances

ContravariantFunctor h => PApplicative (HyperB h)

Functor f => PApplicative (BiffB Either Identity f)

FunctorPlus f => PApplicative (BiffB (,) Identity f)

class Bifunctor f => PPointed f where

Methods

preturn :: a -> f a c

Instances

ContravariantFunctor h => PPointed (HyperB h)

Functor f => PPointed (BiffB Either Identity f)

FunctorPlus f => PPointed (BiffB (,) Identity f)