blob: 8c7957fc07ef810b729d3e62de871077935c643c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# OPTIONS_GHC -Wno-missing-export-lists #-}
-- | Contains useful constraints and constraint combinators for type-level
-- metaprogramming.
module Montis.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
|
