maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Safe Haskell	None
Language	Haskell2010

Lang.LamIf.Domains

Documentation

data ConcreteVal Source

Constructors

CInt ℤ
CClo Closure
CFrame (Frame, Maybe ExpAddr)
CBot

Instances

Eq ConcreteVal Source
Ord ConcreteVal Source
(Pretty ℤ, Pretty Closure, Pretty (Frame, Maybe ExpAddr)) => Pretty ConcreteVal Source
Val ConcreteVal Source

cBotL :: Prism ConcreteVal () Source

cFrameL :: Prism ConcreteVal (Frame, Maybe ExpAddr) Source

cCloL :: Prism ConcreteVal Closure Source

cIntL :: Prism ConcreteVal ℤ Source

data AbstractVal Source

Constructors

AInt ℤ
APos
AZero
ANeg
ANotZero
AAnyInt
AClo Closure
AFrame (Frame, Maybe ExpAddr)
ABot

Instances

Eq AbstractVal Source
Ord AbstractVal Source
(Pretty ℤ, Pretty Closure, Pretty (Frame, Maybe ExpAddr)) => Pretty AbstractVal Source
Val AbstractVal Source

aBotL :: Prism AbstractVal () Source

aFrameL :: Prism AbstractVal (Frame, Maybe ExpAddr) Source

aCloL :: Prism AbstractVal Closure Source

aAnyIntL :: Prism AbstractVal () Source

aNotZeroL :: Prism AbstractVal () Source

aNegL :: Prism AbstractVal () Source

aZeroL :: Prism AbstractVal () Source

aPosL :: Prism AbstractVal () Source

aIntL :: Prism AbstractVal ℤ Source

negateAbstractVal :: AbstractVal -> AbstractVal Source

data DomainParam where Source

Constructors

DomainParam :: forall val. P val -> W (Ord val, POrd val, JoinLattice val, Val val, Difference val, Pretty val) -> DomainParam

concrete :: DomainParam Source

abstract :: DomainParam Source