Safe Haskell	None
Language	Haskell98

Data.Logic.ATP.LitWrapper

Synopsis

Documentation

data JL a Source

Wrapper type to make an IsLiteral value that happens to also be JustLiteral. The JL constructor is not exported, JL values can be built using convertToLiteral.

Instances

Pretty a => Pretty (JL a) Source
HasFixity a => HasFixity (JL a) Source
IsLiteral a => IsFormula (JL a) Source
(IsFormula (JL a), IsLiteral a) => JustLiteral (JL a) Source
(IsFormula (JL a), IsLiteral a) => IsLiteral (JL a) Source
type AtomOf (JL a) = AtomOf a Source