| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Expression.Prop
Contents
Description
Propositions and combinators for conveniently constructing them.
- type Prop = HFree LogicOp
- type Prop' ops v = Prop (HFree' ops v)
- expr :: expr a -> Prop expr a
- plit :: Bool -> Prop expr Bool
- pnot :: Prop expr Bool -> Prop expr Bool
- (*&&) :: Prop expr Bool -> Prop expr Bool -> Prop expr Bool
- (*||) :: Prop expr Bool -> Prop expr Bool -> Prop expr Bool
- (*->) :: Prop expr Bool -> Prop expr Bool -> Prop expr Bool
- (*<->) :: Prop expr Bool -> Prop expr Bool -> Prop expr Bool
- propAnd :: [Prop expr Bool] -> Prop expr Bool
- propOr :: [Prop expr Bool] -> Prop expr Bool
- data LogicOp t a where
Proposition Types
type Prop' ops v = Prop (HFree' ops v) Source #
Propositions over expressions with the given list of operators.
DSL
HTraversable
data LogicOp t a where Source #
Logical operations