Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Instances
Functor Triggered Source # | |
Eq a => Eq (Triggered a) Source # | |
Show a => Show (Triggered a) Source # | |
Generic (Triggered a) Source # | |
Binary a => Binary (Triggered a) Source # | |
NFData a => NFData (Triggered a) Source # | |
Defined in Language.Fixpoint.Types.Triggers | |
PPrint a => PPrint (Triggered a) Source # | |
Defined in Language.Fixpoint.Types.Triggers | |
SMTLIB2 (Triggered Expr) Source # | |
Elaborate e => Elaborate (Triggered e) Source # | |
Defunc a => Defunc (Triggered a) Source # | |
type Rep (Triggered a) Source # | |
Defined in Language.Fixpoint.Types.Triggers type Rep (Triggered a) = D1 (MetaData "Triggered" "Language.Fixpoint.Types.Triggers" "liquid-fixpoint-0.8.10.2-Ld6PWXA9XrKe3HZnOCc57" False) (C1 (MetaCons "TR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Trigger) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) |
Instances
Eq Trigger Source # | |
Show Trigger Source # | |
Generic Trigger Source # | |
Binary Trigger Source # | |
NFData Trigger Source # | |
Defined in Language.Fixpoint.Types.Triggers | |
PPrint Trigger Source # | |
Defined in Language.Fixpoint.Types.Triggers | |
type Rep Trigger Source # | |
Defined in Language.Fixpoint.Types.Triggers |
defaultTrigger :: e -> Triggered e Source #