Contents
Index
sv-1.2: Encode and decode separated values (CSV, PSV, ...)
A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
.
<
=
>
?
_
All
Index - C
categorical
Data.Sv.Decode
categorical'
Data.Sv.Decode
char
1 (Function)
Data.Sv.Encode
2 (Function)
Data.Sv.Decode
choice
Data.Sv.Decode
choose
Data.Sv
chosen
Data.Sv
column
Data.Sv.Decode
comma
Data.Sv.Structure, Data.Sv
conquer
Data.Sv
const
Data.Sv.Encode
contents
Data.Sv.Decode
contramap
Data.Sv
Contravariant
Data.Sv