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