morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe Haskell	Safe
Language	Haskell2010

Control.Functor.Covariant.Extractable

Documentation

class Covariant t => Extractable t where Source #

Minimal complete definition

Methods

extract :: t a -> a Source #

Instances

Extractable Identity Source #
Instance details Defined in Data.Functor.Identity Methods extract :: Identity a -> a Source #
Extractable (Product a) Source #
Instance details Defined in Data.Functor.Product Methods extract :: Product a a0 -> a0 Source #
Extractable t => Extractable (Yoneda t) Source #
Instance details Defined in Data.Functor.Yoneda Methods extract :: Yoneda t a -> a Source #
(Extractable t, Extractable u) => Extractable (T Co Co t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods extract :: T Co Co t u a -> a Source #
(Extractable t, Extractable u, Extractable v) => Extractable (TT Co Co Co t u v) Source #
Instance details Defined in Data.Functor.Composition.TT Methods extract :: TT Co Co Co t u v a -> a Source #
(Extractable t, Extractable u, Extractable v, Extractable w) => Extractable (TTT Co Co Co Co t u v w) Source #
Instance details Defined in Data.Functor.Composition.TTT Methods extract :: TTT Co Co Co Co t u v w a -> a Source #