|
|
|
|
|
Documentation |
|
class (MonadConstr Choice m, ConstraintStore Choice cs, ChoiceStore cs, MonadSolve cs m m) => CFLP cs m | Source |
|
| Instances | CFLP ChoiceStoreUnique (ConstrT ChoiceStoreUnique []) | CFLP ChoiceStoreUnique (ConstrT ChoiceStoreUnique []) |
|
|
|
|
| Instances | |
|
|
|
|
|
|
|
|
|
|
type Strategy m = forall a. m a -> [a] | Source |
|
|
|
|
|
Instances | |
|
|
|
Instances | |
|
|
|
Instances | With ID a => With ID (ID -> a) |
|
|
|
|
|
|
|
|
| Methods | | | Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
|
caseOf :: (MonadSolve cs m m, MonadConstr Choice m) => Nondet cs m a -> [Match a cs m b] -> cs -> Nondet cs m b | Source |
|
|
|
|
|
|
Data (gfoldl, gunfold, toConstr, dataTypeOf, dataCast1, dataCast2, gmapT, gmapQl, gmapQr, gmapQ, gmapQi, gmapM, gmapMp, gmapMo) |
|
|
|
|
|
|
|
|
| Methods | | | Instances | |
|
|
cons :: MkCons cs m a b => a -> b | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
head :: (MonadSolve cs m m, MonadConstr Choice m) => Nondet cs m [a] -> cs -> Nondet cs m a | Source |
|
|
tail :: (MonadSolve cs m m, MonadConstr Choice m) => Nondet cs m [a] -> cs -> Nondet cs m [a] | Source |
|
|
Produced by Haddock version 2.4.2 |