RSolve-0.1.0.1: A general solver for equations

RSolve.Logic

data Cond a where Source #

Constructors

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

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

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

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