RSolve-0.1.0.1: A general solver for equations
RSolve.Options.Core
data Option Source #
Constructors
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] #
(==) :: Option -> Option -> Bool #
(/=) :: Option -> Option -> Bool #
compare :: Option -> Option -> Ordering #
(<) :: Option -> Option -> Bool #
(<=) :: Option -> Option -> Bool #
(>) :: Option -> Option -> Bool #
(>=) :: Option -> Option -> Bool #
max :: Option -> Option -> Option #
min :: Option -> Option -> Option #
showsPrec :: Int -> Option -> ShowS #
show :: Option -> String #
showList :: [Option] -> ShowS #
data Term Source #
(==) :: Term -> Term -> Bool #
(/=) :: Term -> Term -> Bool #
showsPrec :: Int -> Term -> ShowS #
show :: Term -> String #
showList :: [Term] -> ShowS #
toEnumerable :: Br (LState Term) () Source #
prune :: Term -> Br (LState Term) Term Source #
unify :: Term -> Term -> Br (LState Term) () Source #
complement :: Term -> Term -> Br (LState Term) () Source #
isRef :: Term -> Maybe Addr Source #
mkRef :: Addr -> Term Source #
pruneSol :: Term -> Br (LState Term) (Int, Maybe (Set Option)) Source #