blob: cdc5afe17e9d419da63c7c39e0e5349bf1fce02d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
-- | Contains useful constraints and constraint combinators.
module Wetterhorn.Constraints where
-- | A null constraint. All types implement this.
class Unconstrained a
instance Unconstrained a
-- | Combines multiple constraints by 'And'ing them together.
class (c1 a, c2 a) => (&&&&) c1 c2 a
instance (c1 a, c2 a) => (&&&&) c1 c2 a
|
