| 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-singleton-0.0.0: A functor, where the "stored" value is isomorphic to Identity
| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Singleton.Class
class Extractable f where Source
Methods
runSingleton :: f a -> a Source
Instances
| Extractable Identity Source | |
| Extractable ((,) e) Source | |
| Extractable ((,,) w s) Source |