| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Singleton.Class
Documentation
class Extractable (f :: * -> *) where #
Methods
runSingleton :: f a -> a #
Instances
| Extractable Identity # | |
Defined in Data.Singleton.Class Methods runSingleton :: Identity a -> a # | |
| Extractable ((,) e) # | |
Defined in Data.Singleton.Class Methods runSingleton :: (e, a) -> a # | |
| Extractable ((,,) w s) # | |
Defined in Data.Singleton.Class Methods runSingleton :: (w, s, a) -> a # | |
| (Extractable f, Extractable g) => Extractable (Compose f g) # | |
Defined in Data.Singleton.Class Methods runSingleton :: Compose f g a -> a # | |