| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Darcs.Patch.Invert
Documentation
class Invert (p :: Type -> Type -> Type) where #
The invert operation must be self-inverse, i.e. an involution:
invert . invert = id
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Darcs.Patch.Invert
class Invert (p :: Type -> Type -> Type) where #
The invert operation must be self-inverse, i.e. an involution:
invert . invert = id