Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Covariant t => Extractable t where Source #
Instances
Extractable Identity Source # | |
Defined in Pandora.Paradigm.Basis.Identity | |
Extractable (Product a) Source # | |
Defined in Pandora.Paradigm.Basis.Product | |
Extractable t => Extractable (Yoneda t) Source # | |
Defined in Pandora.Paradigm.Basis.Yoneda | |
Covariant t => Extractable (Cofree t) Source # | |
Defined in Pandora.Paradigm.Basis.Cofree | |
Extractable t => Extractable (Storage p t) Source # | |
Defined in Pandora.Paradigm.Inventory.Storage | |
(Extractable (t u), Extractable u) => Extractable (Y t u) Source # | |
Defined in Pandora.Paradigm.Junction.Transformer | |
(Extractable t, Extractable u) => Extractable (T t u) Source # | |
Defined in Pandora.Paradigm.Junction.Transformer | |
(Extractable t, Extractable u) => Extractable (U Co Co t u) Source # | |
(Extractable t, Extractable u, Extractable v) => Extractable (UU Co Co Co t u v) Source # | |
(Extractable t, Extractable u, Extractable v, Extractable w) => Extractable (UUU Co Co Co Co t u v w) Source # | |