Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family Destructed a Source
class Constructor m a where Source
construct :: Destructed a -> m a Source
class Destructor m a where Source
destruct :: a -> m (Destructed a) Source
Safe Haskell | None |
---|---|
Language | Haskell2010 |
type family Destructed a Source
class Constructor m a where Source
construct :: Destructed a -> m a Source
class Destructor m a where Source
destruct :: a -> m (Destructed a) Source