Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data ConcreteVal Source
cBotL :: Prism ConcreteVal () Source
cIntL :: Prism ConcreteVal ℤ Source
data AbstractVal Source
aBotL :: Prism AbstractVal () 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
data DomainParam where Source
DomainParam :: forall val. P val -> W (Ord val, POrd val, JoinLattice val, Val val, Difference val, Pretty val) -> DomainParam |