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