extractable-singleton-0.0.0.1: A functor, where the "stored" value is isomorphic to Identity

Safe Haskell	Safe
Language	Haskell2010

Data.Singleton.Class

Documentation

class Extractable f where Source #

Minimal complete definition

Methods

runSingleton :: f a -> a Source #

Instances

Extractable Identity Source #
Methods runSingleton :: Identity a -> a Source #
Extractable ((,) e) Source #
Methods runSingleton :: (e, a) -> a Source #
Extractable ((,,) w s) Source #
Methods runSingleton :: (w, s, a) -> a Source #
(Extractable f, Extractable g) => Extractable (Compose * * f g) Source #
Methods runSingleton :: Compose * * f g a -> a Source #