Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype FormulaLike a Source #
Instances
type Formula = FormulaLike Literal Source #
clauseLikesOfFormulaLike :: Iso' (FormulaLike a) [ClauseLike a] Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
newtype FormulaLike a Source #
type Formula = FormulaLike Literal Source #
clauseLikesOfFormulaLike :: Iso' (FormulaLike a) [ClauseLike a] Source #