Ideas.Common.Constraint

Constraints for constraint-based tutors

Documentation

data Constraint a

Instances

LiftView Constraint

Methods

liftView :: View a b -> Constraint b -> Constraint a

liftViewIn :: View a (b, c) -> Constraint b -> Constraint a

Eq (Constraint a)

Methods

(==) :: Constraint a -> Constraint a -> Bool

(/=) :: Constraint a -> Constraint a -> Bool

Ord (Constraint a)

Methods

compare :: Constraint a -> Constraint a -> Ordering

(<) :: Constraint a -> Constraint a -> Bool

(<=) :: Constraint a -> Constraint a -> Bool

(>) :: Constraint a -> Constraint a -> Bool

(>=) :: Constraint a -> Constraint a -> Bool

max :: Constraint a -> Constraint a -> Constraint a

min :: Constraint a -> Constraint a -> Constraint a

Show (Constraint a)

Methods

showsPrec :: Int -> Constraint a -> ShowS

show :: Constraint a -> String

showList :: [Constraint a] -> ShowS

HasId (Constraint a)

Methods

getId :: Constraint a -> Id

changeId :: (Id -> Id) -> Constraint a -> Constraint a

makeConstraint :: IsId n => n -> (a -> Result ()) -> Constraint a

isRelevant :: Constraint a -> a -> Bool

isSatisfied :: Constraint a -> a -> Bool

Satisfaction condition

isViolated :: Constraint a -> a -> Maybe String

Satisfaction condition

getResult :: Constraint a -> a -> Result ()

data Result a

Constructors

Irrelevant

Error String

Ok a

Instances

Monad Result

Methods

(>>=) :: Result a -> (a -> Result b) -> Result b

(>>) :: Result a -> Result b -> Result b

return :: a -> Result a

fail :: String -> Result a

Functor Result

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

Applicative Result

Methods

pure :: a -> Result a

(<*>) :: Result (a -> b) -> Result a -> Result b

liftA2 :: (a -> b -> c) -> Result a -> Result b -> Result c

(*>) :: Result a -> Result b -> Result b

(<*) :: Result a -> Result b -> Result a

Alternative Result

Methods

empty :: Result a

(<|>) :: Result a -> Result a -> Result a

some :: Result a -> Result [a]

many :: Result a -> Result [a]

MonadPlus Result

Methods

mzero :: Result a

mplus :: Result a -> Result a -> Result a

relevance :: Result a -> Result a

Turn errors into irrelevant results