Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
this module just defines types for formulas, it is not meant to contain efficient implementations for formula manipulation.
Documentation
Instances
Generic Literal Source # | |
Show Literal Source # | |
Eq Literal Source # | |
Ord Literal Source # | |
Hashable Literal Source # | |
Defined in Satchmo.Data | |
type Rep Literal Source # | |
Defined in Satchmo.Data type Rep Literal = D1 ('MetaData "Literal" "Satchmo.Data" "satchmo-2.9.9.4-Aqsq65NcGJ9IL95KAH1ZK1" 'False) (C1 ('MetaCons "Literal" 'PrefixI 'True) (S1 ('MetaSel ('Just "variable") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Variable) :*: S1 ('MetaSel ('Just "positive") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))) |