Control.CFLP

Documentation

class (MonadUpdate s m, Update s m m, ChoiceStore s) => CFLP s m

Instances

CFLP ChoiceStoreIM (UpdateT ChoiceStoreIM [])

type CS = ChoiceStoreIM

data UpdateT s m a

Instances

MonadPlus m => MonadUpdate s (UpdateT s m)

CFLP ChoiceStoreIM (UpdateT ChoiceStoreIM [])

MonadPlus m => Update s (UpdateT s m) m

MonadPlus m => Update s (UpdateT s m) (UpdateT s m)

MonadTrans (UpdateT s)

Monad m => Monad (UpdateT s m)

Show (HeadNormalForm cs (UpdateT cs []))

MonadPlus m => MonadPlus (UpdateT s m)

Show a => Show (UpdateT s [] a)

Show (Nondet cs (UpdateT cs []) a)

class ChoiceStore s

Instances

ChoiceStore ChoiceStoreIM

type Computation m a = Context CS -> ID -> Nondet CS (UpdateT CS m) a

eval :: (CFLP CS m, Update CS m m', Generic a) => Strategy m' -> (Context CS -> ID -> Nondet CS m a) -> IO [a]

evalPartial :: (CFLP CS m, Update CS m m', Generic a) => Strategy m' -> (Context CS -> ID -> Nondet CS m a) -> IO [a]

evalPrint :: (CFLP CS m, Update CS m m', Generic a) => Strategy m' -> (Context CS -> ID -> Nondet CS m a) -> IO ()

type Strategy m = forall a. m a -> [a]

depthFirst :: Strategy []

data NormalForm

Instances

Show NormalForm

data Nondet cs m a

Instances

NestLambda cs m t (Nondet cs m b -> f) => NestLambda cs m (a -> t) (Nondet cs m a -> Nondet cs m b -> f)

NestLambda cs m (a -> b) (Nondet cs m a -> Context cs -> ID -> Nondet cs m b)

With x (Nondet cs m a)

(cs ~ Ctx b, m ~ Mon b, MkCons b) => MkCons (Nondet cs m a -> b)

(cs ~ C a, m ~ M a, WithUntyped a) => WithUntyped (Nondet cs m b -> a)

LiftFun (Nondet cs m b -> f) => LiftFun (Nondet cs m a -> Nondet cs m b -> f)

LiftFun (Nondet cs m a -> Context cs -> ID -> Nondet cs m b)

LiftFun (Nondet cs m a -> ID -> Nondet cs m b)

LiftFun (Nondet cs m a -> Context cs -> Nondet cs m b)

LiftFun (Nondet cs m a -> Nondet cs m b)

Show (Nondet cs (UpdateT cs []) a)

Show (Nondet cs [] a)

Monad m => MkCons (Nondet cs m a)

WithUntyped (Nondet cs m a)

newtype Context cs

Constructors

Context cs

Instances

NestLambda cs m (a -> b) (Nondet cs m a -> Context cs -> ID -> Nondet cs m b)

(cs ~ C a, m ~ M a, b ~ T a, WithUntyped a, PatternList p) => PatternList (ConsPatList ((Context cs -> a) -> Match t cs m b) p)

LiftFun (Nondet cs m a -> Context cs -> ID -> Nondet cs m b)

LiftFun (Nondet cs m a -> Context cs -> Nondet cs m b)

data ID

Instances

NestLambda cs m (a -> b) (Nondet cs m a -> Context cs -> ID -> Nondet cs m b)

With ID a => With ID (ID -> a)

LiftFun (Nondet cs m a -> Context cs -> ID -> Nondet cs m b)

LiftFun (Nondet cs m a -> ID -> Nondet cs m b)

initID :: IO ID

withUnique :: With ID a => a -> ID -> Nondet (C ID a) (M ID a) (T ID a)

class ChoiceStore cs => Narrow cs a where

Methods

narrow :: MonadUpdate cs m => Context cs -> ID -> Nondet cs m a

Instances

ChoiceStore cs => Narrow cs Bool

(ChoiceStore cs, Narrow cs a, Generic a) => Narrow cs [a]

unknown :: (MonadUpdate cs m, Narrow cs a) => ID -> Nondet cs m a

failure :: MonadPlus m => Nondet cs m a

oneOf :: (MonadUpdate cs m, ChoiceStore cs) => [Nondet cs m a] -> Context cs -> ID -> Nondet cs m a

(?) :: (MonadUpdate cs m, ChoiceStore cs) => Nondet cs m a -> Nondet cs m a -> ID -> Nondet cs m a

withHNF :: Update cs m m => Nondet cs m a -> (HeadNormalForm cs m -> Context cs -> Nondet cs m b) -> Context cs -> Nondet cs m b

caseOf :: Update cs m m => Nondet cs m a -> [Match a cs m b] -> Context cs -> Nondet cs m b

caseOf_ :: Update cs m m => Nondet cs m a -> [Match a cs m b] -> Nondet cs m b -> Context cs -> Nondet cs m b

data Match a cs m b

Instances

(cs ~ C a, m ~ M a, b ~ T a, WithUntyped a, PatternList p) => PatternList (ConsPatList ((Context cs -> a) -> Match t cs m b) p)

class Generic a where

Methods

genericOps :: GenericOps a

constr :: Int -> GenericOps a

Instances

Generic Bool

Generic a => Generic [a]

(Generic a, Generic b) => Generic (a -> b)

primitive :: Generic a => NormalForm -> a

generic :: Generic a => a -> NormalForm

nondet :: (Update cs m m, Generic a) => a -> Nondet cs m a

type Decons a = ([NormalForm] -> NormalForm) -> Result a -> Maybe NormalForm

class ApplyCons a where

Associated Types

type Result a

Methods

applyCons :: a -> [NormalForm] -> Result a

Instances

ApplyCons Bool

ApplyCons [a]

(Generic a, ApplyCons b) => ApplyCons (a -> b)

(!) :: (Int -> GenericOps a) -> (Int -> GenericOps a) -> Int -> GenericOps a

cons :: ApplyCons a => String -> a -> Decons a -> Int -> GenericOps (Result a)

groundNormalForm :: Update cs m m' => Nondet cs m a -> Context cs -> m' NormalForm

partialNormalForm :: (Update cs m m', ChoiceStore cs) => Nondet cs m a -> Context cs -> m' NormalForm

data ConsPatList a b

Constructors

a :! b

Instances

(cs ~ C a, m ~ M a, b ~ T a, WithUntyped a, PatternList p) => PatternList (ConsPatList ((Context cs -> a) -> Match t cs m b) p)

(MkCons a, ConsList b) => ConsList (ConsPatList a b)

constructors :: (ConsList a, Generic (CData a)) => a

patterns :: (PatternList a, Generic (PData a)) => a

apply :: Update cs m m => Nondet cs m (a -> b) -> Nondet cs m a -> Context cs -> ID -> Nondet cs m b

fun :: (Monad m, LiftFun f, NestLambda cs m t (Lift f)) => f -> Nondet cs m t