Safe Haskell | None |
---|---|
Language | Haskell2010 |
Haskus.Utils.Types.Constraint
Description
Type-level Constraint
Use it with ConstraintKinds
LANGUAGE pragma
Synopsis
- data Constraint
Documentation
data Constraint #
The kind of constraints, like Show a
haskus-utils-types-1.4: Haskus types utility modules
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Haskus.Utils.Types.Constraint
Description
Type-level Constraint
Use it with ConstraintKinds
LANGUAGE pragma
data Constraint #
The kind of constraints, like Show a