Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Covariant t => Extractable t where Source #
Instances
Extractable Identity Source # | |
Covariant t => Extractable (Jet t) Source # | |
Extractable (Product a) Source # | |
Extractable (Store p) Source # | |
Extractable t => Extractable (Yoneda t) Source # | |
Extractable t => Extractable (Jack t) Source # | |
Monoid e => Extractable (Imprint e) Source # | |
Extractable (Equipment e) Source # | |
Covariant t => Extractable (Twister t) Source # | |
Extractable (Schematic Monad t u) => Extractable (t :> u) Source # | |
Extractable (Schematic Comonad t u) => Extractable (t :< u) Source # | |
Extractable (Tagged tag) Source # | |
Monoid e => Extractable ((->) e :: Type -> Type) Source # | |
Defined in Pandora.Pattern.Functor.Extractable | |
(Monoid e, Extractable u) => Extractable (UT Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Extractable u => Extractable (TU Covariant Covariant ((:*:) e) u) Source # | |
Extractable u => Extractable (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source # | |