RSolve-0.1.0.1: A general solver for equations

Safe Haskell	Safe
Language	Haskell2010

RSolve.HM.Core

Documentation

type Id = Int Source #

data TypeOp Source #

Constructors

Arrow
Join
Stmt

Instances

Eq TypeOp Source #
Instance details Defined in RSolve.HM.Core Methods (==) :: TypeOp -> TypeOp -> Bool # (/=) :: TypeOp -> TypeOp -> Bool #
Ord TypeOp Source #
Instance details Defined in RSolve.HM.Core Methods compare :: TypeOp -> TypeOp -> Ordering # (<) :: TypeOp -> TypeOp -> Bool # (<=) :: TypeOp -> TypeOp -> Bool # (>) :: TypeOp -> TypeOp -> Bool # (>=) :: TypeOp -> TypeOp -> Bool # max :: TypeOp -> TypeOp -> TypeOp # min :: TypeOp -> TypeOp -> TypeOp #
Show TypeOp Source #
Instance details Defined in RSolve.HM.Core Methods showsPrec :: Int -> TypeOp -> ShowS # show :: TypeOp -> String # showList :: [TypeOp] -> ShowS #

data Prim Source #

Constructors

Int
Float
Char

Instances

Eq Prim Source #
Instance details Defined in RSolve.HM.Core Methods (==) :: Prim -> Prim -> Bool # (/=) :: Prim -> Prim -> Bool #
Ord Prim Source #
Instance details Defined in RSolve.HM.Core Methods compare :: Prim -> Prim -> Ordering # (<) :: Prim -> Prim -> Bool # (<=) :: Prim -> Prim -> Bool # (>) :: Prim -> Prim -> Bool # (>=) :: Prim -> Prim -> Bool # max :: Prim -> Prim -> Prim # min :: Prim -> Prim -> Prim #
Show Prim Source #
Instance details Defined in RSolve.HM.Core Methods showsPrec :: Int -> Prim -> ShowS # show :: Prim -> String # showList :: [Prim] -> ShowS #

data Core where Source #

Constructors

Prim :: Prim -> Core
Op :: TypeOp -> Core -> Core -> Core
Forall :: [Id] -> Core -> Core
Var :: Id -> Core

Instances

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

free :: Map Id Core -> Core -> Core Source #

occurIn :: Addr -> Addr -> Br (LState Core) Bool Source #