cflp-2009.1.24: Constraint Functional-Logic Programming in Haskell

CFLP.Types.List

Documentation

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

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

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

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

null :: (CFLP s, Generic a) => Data s [a] -> Context (Ctx s) -> Data s BoolSource

head :: (CFLP s, Generic a) => Data s [a] -> Context (Ctx s) -> Data s aSource

tail :: (CFLP s, Generic a) => Data s [a] -> Context (Ctx s) -> Data s [a]Source

map :: (CFLP s, Generic a, Generic b) => Data s (a -> b) -> Data s [a] -> Context (Ctx s) -> ID -> Data s [b]Source

foldr :: (CFLP s, Generic a) => Data s (a -> b -> b) -> Data s b -> Data s [a] -> Context (Ctx s) -> ID -> Data s bSource