RSolve.Logic

Documentation

data Cond a where

Constructors

Unify :: Unify a => a -> a -> Cond a

Not :: Cond a -> Cond a

Pred :: Br (LState a) Bool -> Cond a

Or :: Cond a -> Cond a -> Cond a

And :: Cond a -> Cond a -> Cond a

Imply :: Cond a -> Cond a -> Cond a

solve :: Cond a -> Br (LState a) ()

solveNeg :: Unify a => Br (LState a) ()

solvePred :: EnumSet a => Br (LState a) ()

require :: Unify a => a -> Br (LState a) a