Pandora.Pattern.Functor.Representable

Documentation

class Pointable t => Representable t where

When providing a new instance, you should ensure it satisfies the three laws:
* Isomorphism (to): tabulate . index ≡ identity
* Isomorphism (from): index . tabulate ≡ identity
* Right adjoint: tabulate . point ≡ point
* Interchange tabulation: comap f . tabulate ≡ tabulate . comap f

Minimal complete definition

(<#>), tabulate

Associated Types

type Representation t :: *

Methods

(<#>) :: Representation t -> a <-| t

Infix and flipped version of index

tabulate :: (Representation t -> a) -> t a

index :: t a -> Representation t -> a

Prefix and flipped version of <#>

Instances

Representable Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Associated Types

type Representation Delta :: Type

Methods

(<#>) :: Representation Delta -> a <-| Delta

tabulate :: (Representation Delta -> a) -> Delta a

index :: Delta a -> Representation Delta -> a

Representable Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Associated Types

type Representation Identity :: Type

Methods

(<#>) :: Representation Identity -> a <-| Identity

tabulate :: (Representation Identity -> a) -> Identity a

index :: Identity a -> Representation Identity -> a

Representable ((->) e :: Type -> Type)

Defined in Pandora.Pattern.Functor.Representable

Associated Types

type Representation ((->) e) :: Type

Methods

(<#>) :: Representation ((->) e) -> a <-| (->) e

tabulate :: (Representation ((->) e) -> a) -> e -> a

index :: (e -> a) -> Representation ((->) e) -> a