Control.Monad.Amb

Overview

Creating computations

amb

aPartitionOfSize

aPartitionOf

aPermutationOf

aSplitOf

anIntegerBetween

aSubsetOf

aMemberOf

aBoolean

Running computations

isPossible

isPossibleT

isNecessary

isNecessaryT

allValues

allValuesT

oneValue

oneValueT

Low-level internals

tell'

tellState

uponFailure

runAmbT

runAmbTI

ambCC

forEffects

Types

data AmbT r m a

type AmbT' m a

type Amb r

type Amb' a