sop-satisfier-0.3.4.5: Check satisfiability of expressions on natural numbers
Safe HaskellSafe-Inferred
LanguageHaskell2010

SoPSat.Internal.Range

Documentation

data Range f c Source #

Constructors

Range 

Fields

Instances

Instances details
(Show f, Show c) => Show (Range f c) Source # 
Instance details

Defined in SoPSat.Internal.Range

Methods

showsPrec :: Int -> Range f c -> ShowS #

show :: Range f c -> String #

showList :: [Range f c] -> ShowS #

(Eq f, Eq c) => Eq (Range f c) Source # 
Instance details

Defined in SoPSat.Internal.Range

Methods

(==) :: Range f c -> Range f c -> Bool #

(/=) :: Range f c -> Range f c -> Bool #

data Bound f c Source #

Constructors

Bound (SoP f c) 
Inf 

Instances

Instances details
(Show f, Show c) => Show (Bound f c) Source # 
Instance details

Defined in SoPSat.Internal.Range

Methods

showsPrec :: Int -> Bound f c -> ShowS #

show :: Bound f c -> String #

showList :: [Bound f c] -> ShowS #

(Eq f, Eq c) => Eq (Bound f c) Source # 
Instance details

Defined in SoPSat.Internal.Range

Methods

(==) :: Bound f c -> Bound f c -> Bool #

(/=) :: Bound f c -> Bound f c -> Bool #

boundSoP :: Bound f c -> Maybe (SoP f c) Source #

rangeAdd :: (Ord f, Ord c) => Range f c -> Range f c -> Maybe (Range f c) Source #

rangeMul :: (Ord f, Ord c) => Range f c -> Range f c -> Maybe (Range f c) Source #

rangeExp :: (Ord f, Ord c) => Range f c -> Range f c -> Maybe (Range f c) Source #