Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Extractable (t :: * -> *) where Source #
Instances
Extractable Identity Source # | |
Defined in Data.Functor.Identity | |
(Extractable t, Extractable u) => Extractable (T Co Co t u) Source # | |
(Extractable t, Extractable u, Extractable v) => Extractable (TT Co Co Co t u v) Source # | |
(Extractable t, Extractable u, Extractable v, Extractable w) => Extractable (TTT Co Co Co Co t u v w) Source # | |