RSolve-0.1.0.1: A general solver for equations

Safe Haskell	Safe
Language	Haskell2010

RSolve.Options.Core

Documentation

data Option Source #

Constructors

A
B
C
D

Instances

Enum Option Source #
Instance details Defined in RSolve.Options.Core Methods succ :: Option -> Option # pred :: Option -> Option # toEnum :: Int -> Option # fromEnum :: Option -> Int # enumFrom :: Option -> [Option] # enumFromThen :: Option -> Option -> [Option] # enumFromTo :: Option -> Option -> [Option] # enumFromThenTo :: Option -> Option -> Option -> [Option] #
Eq Option Source #
Instance details Defined in RSolve.Options.Core Methods (==) :: Option -> Option -> Bool # (/=) :: Option -> Option -> Bool #
Ord Option Source #
Instance details Defined in RSolve.Options.Core Methods compare :: Option -> Option -> Ordering # (<) :: Option -> Option -> Bool # (<=) :: Option -> Option -> Bool # (>) :: Option -> Option -> Bool # (>=) :: Option -> Option -> Bool # max :: Option -> Option -> Option # min :: Option -> Option -> Option #
Show Option Source #
Instance details Defined in RSolve.Options.Core Methods showsPrec :: Int -> Option -> ShowS # show :: Option -> String # showList :: [Option] -> ShowS #

data Term Source #

Constructors

Var Int
Sol (Set Option)

Instances

Eq Term Source #
Instance details Defined in RSolve.Options.Core Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Show Term Source #
Instance details Defined in RSolve.Options.Core Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
EnumSet Term Source #
Instance details Defined in RSolve.Options.Core Methods toEnumerable :: Br (LState Term) () Source #
Unify Term Source #
Instance details Defined in RSolve.Options.Core Methods prune :: Term -> Br (LState Term) Term Source # unify :: Term -> Term -> Br (LState Term) () Source # complement :: Term -> Term -> Br (LState Term) () Source #
Reference Term Source #
Instance details Defined in RSolve.Options.Core Methods isRef :: Term -> Maybe Addr Source # mkRef :: Addr -> Term Source #

pruneSol :: Term -> Br (LState Term) (Int, Maybe (Set Option)) Source #