Pandora.Pattern.Functor.Extractable

Documentation

class Covariant t => Extractable t where

Methods

extract :: t a -> a

Instances

Extractable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

extract :: Identity a -> a

Extractable t => Extractable (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

extract :: Yoneda t a -> a

Covariant t => Extractable (Jet t)

Defined in Pandora.Paradigm.Basis.Jet

Methods

extract :: Jet t a -> a

Covariant t => Extractable (Twister t)

Defined in Pandora.Paradigm.Basis.Twister

Methods

extract :: Twister t a -> a

Extractable (Product a)

Defined in Pandora.Paradigm.Basis.Product

Methods

extract :: Product a a0 -> a0

Extractable (Storage p)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

extract :: Storage p a -> a

Extractable t => Extractable (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

extract :: Jack t a -> a

Extractable (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

extract :: Tagged tag a -> a