Package prolog2curry
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all operations
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
A
allValues
(
Control.Search.Unsafe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
C
cycle
(
Data.List
)
chooseValue
(
Control.Search.SetFunctions
)
choose
(
Control.Search.SetFunctions
)
catMaybes
(
Data.Maybe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
D
digitToInt
(
Data.Char
)
delete
(
Data.List
)
deleteBy
(
Data.List
)
diagonal
(
Data.List
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
E
elemIndex
(
Data.List
)
elemIndices
(
Data.List
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
F
find
(
Data.List
)
findIndex
(
Data.List
)
findIndices
(
Data.List
)
foldValues
(
Control.Search.SetFunctions
)
filterValues
(
Control.Search.SetFunctions
)
fromJust
(
Data.Maybe
)
fromMaybe
(
Data.Maybe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
G
group
(
Data.List
)
groupBy
(
Data.List
)
getSomeValue
(
Control.Search.SetFunctions
)
getSome
(
Control.Search.SetFunctions
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
I
isAscii
(
Data.Char
)
isLatin1
(
Data.Char
)
isAsciiLower
(
Data.Char
)
isAsciiUpper
(
Data.Char
)
isControl
(
Data.Char
)
intToDigit
(
Data.Char
)
intersect
(
Data.List
)
intersectBy
(
Data.List
)
intersperse
(
Data.List
)
intercalate
(
Data.List
)
inits
(
Data.List
)
isPrefixOf
(
Data.List
)
isSuffixOf
(
Data.List
)
isInfixOf
(
Data.List
)
insertBy
(
Data.List
)
init
(
Data.List
)
isEmpty
(
Control.Search.SetFunctions
)
isJust
(
Data.Maybe
)
isNothing
(
Data.Maybe
)
isFail
(
Control.Search.Unsafe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
L
last
(
Data.List
)
listToMaybe
(
Data.Maybe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
M
maximum
(
Data.List
)
maximumBy
(
Data.List
)
minimum
(
Data.List
)
minimumBy
(
Data.List
)
mapAccumL
(
Data.List
)
mapAccumR
(
Data.List
)
mapValues
(
Control.Search.SetFunctions
)
minValue
(
Control.Search.SetFunctions
)
minValueBy
(
Control.Search.SetFunctions
)
maxValue
(
Control.Search.SetFunctions
)
maxValueBy
(
Control.Search.SetFunctions
)
maybeToList
(
Data.Maybe
)
mapMaybe
(
Data.Maybe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
N
nub
(
Data.List
)
nubBy
(
Data.List
)
notEmpty
(
Control.Search.SetFunctions
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
O
oneValue
(
Control.Search.Unsafe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
P
parseProlog
(
Language.Prolog.Read
)
permutations
(
Data.List
)
partition
(
Data.List
)
product
(
Data.List
)
printValues
(
Control.Search.SetFunctions
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
R
readPrologFile
(
Language.Prolog.Read
)
replace
(
Data.List
)
rewriteAll
(
Control.Search.Unsafe
)
rewriteSome
(
Control.Search.Unsafe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
S
splitOn
(
Data.List
)
split
(
Data.List
)
sort
(
Data.List
)
sortBy
(
Data.List
)
sum
(
Data.List
)
scanl
(
Data.List
)
scanl1
(
Data.List
)
scanr
(
Data.List
)
scanr1
(
Data.List
)
set0
(
Control.Search.SetFunctions
)
set1
(
Control.Search.SetFunctions
)
set2
(
Control.Search.SetFunctions
)
set3
(
Control.Search.SetFunctions
)
set4
(
Control.Search.SetFunctions
)
set5
(
Control.Search.SetFunctions
)
set6
(
Control.Search.SetFunctions
)
set7
(
Control.Search.SetFunctions
)
selectValue
(
Control.Search.SetFunctions
)
select
(
Control.Search.SetFunctions
)
sortValues
(
Control.Search.SetFunctions
)
sortValuesBy
(
Control.Search.SetFunctions
)
showPlProg
(
Language.Prolog.Show
)
showPlClause
(
Language.Prolog.Show
)
showPlGoals
(
Language.Prolog.Show
)
showPlGoal
(
Language.Prolog.Show
)
showPlTerm
(
Language.Prolog.Show
)
someValue
(
Control.Search.Unsafe
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
T
toUpper
(
Data.Char
)
toLower
(
Data.Char
)
transpose
(
Data.List
)
tails
(
Data.List
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
U
union
(
Data.List
)
unionBy
(
Data.List
)
unfoldr
(
Data.List
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
V
valueOf
(
Control.Search.SetFunctions
)
values2list
(
Control.Search.SetFunctions
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\
\
\\
(
Data.List
)
A
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
V
\