Control.Bifunctor.Pointed

Documentation

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)

class Bifunctor f => PCopointed f where

Methods

pextract :: f a c -> a

Instances

Functor f => PCopointed (BiffB (,) Identity f)