RSolve-0.1.0.1: A general solver for equations
RSolve.HM.Core
type Id = Int Source #
data TypeOp Source #
Constructors
Defined in RSolve.HM.Core
Methods
(==) :: TypeOp -> TypeOp -> Bool #
(/=) :: TypeOp -> TypeOp -> Bool #
compare :: TypeOp -> TypeOp -> Ordering #
(<) :: TypeOp -> TypeOp -> Bool #
(<=) :: TypeOp -> TypeOp -> Bool #
(>) :: TypeOp -> TypeOp -> Bool #
(>=) :: TypeOp -> TypeOp -> Bool #
max :: TypeOp -> TypeOp -> TypeOp #
min :: TypeOp -> TypeOp -> TypeOp #
showsPrec :: Int -> TypeOp -> ShowS #
show :: TypeOp -> String #
showList :: [TypeOp] -> ShowS #
data Prim Source #
(==) :: Prim -> Prim -> Bool #
(/=) :: Prim -> Prim -> Bool #
compare :: Prim -> Prim -> Ordering #
(<) :: Prim -> Prim -> Bool #
(<=) :: Prim -> Prim -> Bool #
(>) :: Prim -> Prim -> Bool #
(>=) :: Prim -> Prim -> Bool #
max :: Prim -> Prim -> Prim #
min :: Prim -> Prim -> Prim #
showsPrec :: Int -> Prim -> ShowS #
show :: Prim -> String #
showList :: [Prim] -> ShowS #
data Core where Source #
(==) :: Core -> Core -> Bool #
(/=) :: Core -> Core -> Bool #
showsPrec :: Int -> Core -> ShowS #
show :: Core -> String #
showList :: [Core] -> ShowS #
prune :: Core -> Br (LState Core) Core Source #
unify :: Core -> Core -> Br (LState Core) () Source #
complement :: Core -> Core -> Br (LState Core) () Source #
isRef :: Core -> Maybe Addr Source #
mkRef :: Addr -> Core Source #
free :: Map Id Core -> Core -> Core Source #
occurIn :: Addr -> Addr -> Br (LState Core) Bool Source #