Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A model for defining boolean expressions for Objective prerequisites.
This model is intended to be user-facing in the .yaml files, and is
distinct from that in BoolExpr
.
Synopsis
- type ObjectiveLabel = Text
- data Prerequisite a
- = And (NonEmpty (Prerequisite a))
- | Or (NonEmpty (Prerequisite a))
- | Not (Prerequisite a)
- | Id a
- prerequisiteOptions :: Options
- toBoolExpr :: Prerequisite a -> BoolExpr a
Documentation
type ObjectiveLabel = Text Source #
data Prerequisite a Source #
In contrast with the BoolExpr type, And and Or can have one or more children instead of exactly two.
And (NonEmpty (Prerequisite a)) | |
Or (NonEmpty (Prerequisite a)) | |
Not (Prerequisite a) | |
Id a |
Instances
toBoolExpr :: Prerequisite a -> BoolExpr a Source #