Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class Liftable t where
- lift :: Covariant_ u (->) (->) => u ~> t u
Documentation
class Liftable t where Source #
When providing a new instance, you should ensure it satisfies one law: * Interchange: lift . point ≡ point
lift :: Covariant_ u (->) (->) => u ~> t u Source #