CFLP.Types.List

Documentation

dNil :: Decons [a]

dCons :: Generic a => Decons [a]

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

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

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

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

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

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

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

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

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