Util.UnionSolve

Documentation

data C l v

Instances

(Show e, Show l) => Show (C l e)

Monoid (C l v)

solve :: (Fixable l, Show l, Show v, Ord v) => (String -> IO ()) -> C l v -> IO (Map v v, Map v (Result l v))

class Fixable a where

Methods

isBottom :: a -> Bool

isTop :: a -> Bool

join :: a -> a -> a

meet :: a -> a -> a

eq :: a -> a -> Bool

lte :: a -> a -> Bool

showFixable :: a -> String

Instances

Fixable Bool

Fixable Int

Fixable a => Fixable (Maybe a)

Ord n => Fixable (Set n)

Fixable a => Fixable (Topped a)

(Fixable a, Fixable b) => Fixable (a, b)

data Topped a

Constructors

Only a

Top

Instances

Eq a => Eq (Topped a)

Ord a => Ord (Topped a)

Show a => Show (Topped a)

Fixable a => Fixable (Topped a)

data Result l a

Constructors

ResultJust

Fields

resultRep :: a

resultValue :: l

ResultBounded

Fields

resultRep :: a

resultLB :: Maybe l

resultUB :: Maybe l

resultLBV :: [a]

resultUBV :: [a]

Instances

(Show l, Show a) => Show (Result l a)

cAnnotate :: String -> C l v -> C l v

islte :: (Fixable l, Ord v) => Either v l -> Either v l -> C l v

isgte :: (Fixable l, Ord v) => Either v l -> Either v l -> C l v

equals :: (Fixable l, Ord v) => Either v l -> Either v l -> C l v

(@<=) :: v -> l -> C l v

(@>=) :: v -> l -> C l v

(@=) :: v -> l -> C l v

(@<=@) :: v -> v -> C l v

(@>=@) :: v -> v -> C l v

(@=@) :: v -> v -> C l v