liquid-fixpoint-0.7.0.2: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Types.Triggers

Documentation

data Triggered a Source #

Constructors

Instances

Functor Triggered Source #
Methods fmap :: (a -> b) -> Triggered a -> Triggered b # (<$) :: a -> Triggered b -> Triggered a #
Eq a => Eq (Triggered a) Source #
Methods (==) :: Triggered a -> Triggered a -> Bool # (/=) :: Triggered a -> Triggered a -> Bool #
Show a => Show (Triggered a) Source #
Methods showsPrec :: Int -> Triggered a -> ShowS # show :: Triggered a -> String # showList :: [Triggered a] -> ShowS #
Generic (Triggered a) Source #
Associated Types type Rep (Triggered a) :: * -> * # Methods from :: Triggered a -> Rep (Triggered a) x # to :: Rep (Triggered a) x -> Triggered a #
Binary a => Binary (Triggered a) Source #
Methods put :: Triggered a -> Put # get :: Get (Triggered a) # putList :: [Triggered a] -> Put #
NFData a => NFData (Triggered a) Source #
Methods rnf :: Triggered a -> () #
PPrint a => PPrint (Triggered a) Source #
Methods pprintTidy :: Tidy -> Triggered a -> Doc Source # pprintPrec :: Int -> Tidy -> Triggered a -> Doc Source #
Elaborate e => Elaborate (Triggered e) Source #
Methods elaborate :: String -> SymEnv -> Triggered e -> Triggered e Source #
Defunc a => Defunc (Triggered a) Source #
Methods defunc :: Triggered a -> DF (Triggered a) Source #
type Rep (Triggered a) Source #
type Rep (Triggered a) = D1 (MetaData "Triggered" "Language.Fixpoint.Types.Triggers" "liquid-fixpoint-0.7.0.2-3repHVQ2bkqGganvJ6cFNP" False) (C1 (MetaCons "TR" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Trigger)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))

data Trigger Source #

Constructors

NoTrigger
LeftHandSide

Instances

Eq Trigger Source #
Methods (==) :: Trigger -> Trigger -> Bool # (/=) :: Trigger -> Trigger -> Bool #
Show Trigger Source #
Methods showsPrec :: Int -> Trigger -> ShowS # show :: Trigger -> String # showList :: [Trigger] -> ShowS #
Generic Trigger Source #
Associated Types type Rep Trigger :: * -> * # Methods from :: Trigger -> Rep Trigger x # to :: Rep Trigger x -> Trigger #
Binary Trigger Source #
Methods put :: Trigger -> Put # get :: Get Trigger # putList :: [Trigger] -> Put #
NFData Trigger Source #
Methods rnf :: Trigger -> () #
PPrint Trigger Source #
Methods pprintTidy :: Tidy -> Trigger -> Doc Source # pprintPrec :: Int -> Tidy -> Trigger -> Doc Source #
type Rep Trigger Source #
type Rep Trigger = D1 (MetaData "Trigger" "Language.Fixpoint.Types.Triggers" "liquid-fixpoint-0.7.0.2-3repHVQ2bkqGganvJ6cFNP" False) ((:+:) (C1 (MetaCons "NoTrigger" PrefixI False) U1) (C1 (MetaCons "LeftHandSide" PrefixI False) U1))

noTrigger :: e -> Triggered e Source #

defaultTrigger :: e -> Triggered e Source #

makeTriggers :: Triggered Expr -> [Expr] Source #