lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

Constraint.hs (361B)

      1 module Lude.Constraint (
      2     module X,
      3 ) where
      4 
      5 import Lude.Constraint.Core as X
      6 import Lude.Constraint.Falsum as X
      7 import Lude.Constraint.Predicate as X
      8 import Lude.Constraint.Verum as X
      9 
     10 -- TODO: In multiple places, we have the same thing "normally" and with an
     11 -- index. This should be abstracted-out.
     12 
     13 -- TODO: "Both"/"And" and "Either"/"Or" on constraints