cflp-2009.2.1: Constraint Functional-Logic Programming in Haskell Source code Contents Index

CFLP.Types.List

Documentation

dNil :: Decons [a] Source

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

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 b Source

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

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

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

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 b Source

Produced by Haddock version 2.4.2