cflp-2009.1.16: Constraint Functional-Logic Programming in Haskell

Data.LazyNondet.Types.List

Documentation

dNil :: Decons [a]Source

dCons :: Generic a => Decons [a]Source

nil :: (Monad m, Generic a) => Nondet cs m [a]Source

(^:) :: (Monad m, Generic a) => Nondet cs m a -> Nondet cs m [a] -> Nondet cs m [a]Source

pNil :: Generic a => (Context cs -> Nondet cs m b) -> Match [a] cs m bSource

pCons :: Generic a => (Context cs -> Nondet cs m a -> Nondet cs m [a] -> Nondet cs m b) -> Match [a] cs m bSource

null :: (Update cs m m, Generic a) => Nondet cs m [a] -> Context cs -> Nondet cs m BoolSource

head :: (Update cs m m, Generic a) => Nondet cs m [a] -> Context cs -> Nondet cs m aSource

tail :: (Update cs m m, Generic a) => Nondet cs m [a] -> Context cs -> Nondet cs m [a]Source

map :: (Update cs m m, Generic a, Generic b) => Nondet cs m (a -> b) -> Nondet cs m [a] -> Context cs -> ID -> Nondet cs m [b]Source

foldr :: (Update cs m m, Generic a) => Nondet cs m (a -> b -> b) -> Nondet cs m b -> Nondet cs m [a] -> Context cs -> ID -> Nondet cs m bSource