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 (Cofree t)

Defined in Pandora.Paradigm.Basis.Cofree

Methods

extract :: Cofree t a -> a

Extractable (Product a)

Defined in Pandora.Paradigm.Basis.Product

Methods

extract :: Product a a0 -> a0

Extractable t => Extractable (Storage p t)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

extract :: Storage p t a -> a

(Extractable (t u), Extractable u) => Extractable (Y t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

extract :: Y t u a -> a

(Extractable t, Extractable u) => Extractable (T t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

extract :: T t u a -> a

(Extractable t, Extractable u) => Extractable (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

extract :: U Co Co t u a -> a

(Extractable t, Extractable u, Extractable v) => Extractable (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

extract :: UU Co Co Co t u v a -> a

(Extractable t, Extractable u, Extractable v, Extractable w) => Extractable (UUU Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Composition

Methods

extract :: UUU Co Co Co Co t u v w a -> a