Contents
Index
predicate-typed-0.1.0.0: Predicates, Refinement types and Dsl
Index
!!
Predicate
!!!
Predicate
$
Predicate
%
UtilP
%&
UtilP
&
Predicate
&&
Predicate
&&&
Predicate
*
Predicate
***
Predicate
*>
Predicate
+
Predicate
+++
Predicate
+:
Predicate
-
Predicate
/
Predicate
/=
Predicate
/=?
Predicate
:+
Predicate
<
Predicate
<$
Predicate
<*
Predicate
<<
Predicate
<=
Predicate
<=?
Predicate
<>
Predicate
<?
Predicate
<|>
Predicate
==
Predicate
===
Predicate
===?
Predicate
==?
Predicate
>
Predicate
>=
Predicate
>=?
Predicate
>>
Predicate
>?
Predicate
>|
Predicate
A
Predicate
Abs
Predicate
Add
Predicate
All
Predicate
AllNegative
Predicate
AllNegative'
Predicate
AllPositive
Predicate
AllPositive'
Predicate
Anchored
UtilP
And
Predicate
Ands
Predicate
Ands'
Predicate
AndT
UtilP
Any
Predicate
Appendfile
Predicate
ApplyConstT
Predicate
arbRefined
Refined
arbRefined3
Refined3
arbRefined3With
Refined3
ArrT
UtilP
Asc
Predicate
Asc'
Predicate
Assocl
Predicate
Assocr
Predicate
Auto_callout
UtilP
BAdd
Predicate
base16
Refined3Helper
BaseIJ
Refined3Helper
BaseIJ'
Refined3Helper
BaseN
Refined3Helper
Between
Predicate
Between'
Predicate
BetweenR
Refined3Helper
BetweenT
UtilP
Bin
Predicate
BinOp
Predicate
BMult
Predicate
BoolP
UtilP
BoolT
UtilP
boolT2P
UtilP
Break
Predicate
BSub
Predicate
Case
Predicate
Case'
Predicate
Case''
Predicate
CaseImpl
Predicate
Caseless
UtilP
Catch
Predicate
Catch'
Predicate
catchit
UtilP
catchitNF
UtilP
CatMaybes
Predicate
CatMaybesa
Predicate
CatMaybesx
Predicate
CatMaybesy
Predicate
CatMaybesz
Predicate
CC11
Refined3Helper
cc11
Refined3Helper
Ccfmt
Refined3Helper
Ccip
Refined3Helper
Ccn
Refined3Helper
ccn
Refined3Helper
CControl
Predicate
Ccop
Refined3Helper
Ceiling
Predicate
Ceiling'
Predicate
Ceq
UtilP
Cge
UtilP
Cgt
UtilP
Char1
Predicate
CharSet
Predicate
CheckT
Predicate
CHexDigit
Predicate
CLatin1
Predicate
Cle
UtilP
CLower
Predicate
Clt
UtilP
Cmp
Predicate
CmpI
Predicate
CmpRat
Predicate
Cne
UtilP
CNumber
Predicate
COctDigit
Predicate
Coerce
Predicate
Coerce2
Predicate
color0
UtilP
color1
UtilP
color2
UtilP
color3
UtilP
color4
UtilP
colorMe
UtilP
compileRegex
UtilP
Concat
Predicate
ConcatMap
Predicate
ConsT
UtilP
convertRefined3T
Refined3
convertRefined3TP
Refined3
convertRefinedT
Refined
CPunctuation
Predicate
CSeparator
Predicate
CSpace
Predicate
CUpper
Predicate
DateFmts
Refined3Helper
DateN
Refined3Helper
daten
Refined3Helper
DateTime1
Refined3Helper
DateTimeFmts
Refined3Helper
DateTimeN
Refined3Helper
datetimen
Refined3Helper
defh
UtilP
defOpts
UtilP
defu
UtilP
defv
UtilP
defv'
UtilP
Desc
Predicate
Desc'
Predicate
DirExists
Predicate
Disp
UtilP
displayMessages
UtilP
Div
Predicate
Div'
Predicate
DivF
Predicate
DivMod
Predicate
Do
Predicate
DoExpandT
Predicate
Dollar_endonly
UtilP
Dotall
UtilP
Drop
Predicate
Dtfmt1
Refined3Helper
Dtip1
Refined3Helper
Dtop1
Refined3Helper
Dup
Predicate
Duplicate
Predicate
Dupnames
UtilP
EitherB
Predicate
EitherIn
Predicate
EitherX
Predicate
EitherXT
Predicate
Elem
Predicate
ElemAll
Predicate
EmptyT
Predicate
EnumFromTo
Predicate
eval
Predicate
eval3
Refined3
eval3M
Refined3
eval3P
Refined3
eval3PX
Refined3
eval3X
Refined3
evalBinStrict
UtilP
evalBool
Predicate
evalQuick
Predicate
Even
Predicate
ExitWhen
Predicate
ExitWhen'
Predicate
Extended
UtilP
Extra
UtilP
Extract
Predicate
ExtractT
Predicate
Fail
Predicate
FailCase
Predicate
FailCatch
Predicate
FailIfT
UtilP
FailP
UtilP
Failp
Predicate
FailPrt
Predicate
FailPrt2
Predicate
FailS
Predicate
FailT
UtilP
Failt
Predicate
FalseP
UtilP
FalseT
UtilP
FHandle
Predicate
FileExists
Predicate
FilterBy
Predicate
First
Predicate
Firstline
UtilP
fixBoolT
UtilP
fixit
UtilP
fixLite
UtilP
fixPresentP
UtilP
FlipT
UtilP
Floor
Predicate
Floor'
Predicate
Fmap_1
Predicate
Fmap_2
Predicate
FnT
Predicate
Foldl
Predicate
FoldMap
Predicate
formatList
UtilP
FormatTimeP
Predicate
FOther
Predicate
FromEnum
Predicate
FromInteger
Predicate
FromInteger'
Predicate
FromIntegerP
Predicate
FromIntegral
Predicate
FromIntegral'
Predicate
FromList
Predicate
FromListF
Predicate
FromN
UtilP
FromRational
Predicate
FromRational'
Predicate
FromStringP
Predicate
FromStringP'
Predicate
fromTT
UtilP
fromTTH
UtilP
Fst
Predicate
Fst3
Predicate
FStderr
Predicate
FStdout
Predicate
FstL
Predicate
FstL'
Predicate
FthL
Predicate
FthL'
Predicate
GDef
Predicate
GDef'
Predicate
GDef''
Predicate
GDef_PA
Predicate
GDef_X
Predicate
Ge
Predicate
GetBinOp
Predicate
getBinOp
Predicate
GetBool
UtilP
getBool
UtilP
GetCharSet
Predicate
getCharSet
Predicate
GetFHandle
Predicate
getFHandle
Predicate
GetLen
UtilP
getLen
UtilP
getLenP
UtilP
GetMode
Predicate
getMode
Predicate
getN
UtilP
GetNatN
UtilP
getNatN
UtilP
GetNats
UtilP
getNats
UtilP
GetOrd
UtilP
getOrd
UtilP
GetOrdering
UtilP
getOrdering
UtilP
GetRat
Predicate
getRat
Predicate
GetRats
Predicate
getRats
Predicate
GetROpt
UtilP
getROpt
UtilP
GetROpts
UtilP
getROpts
UtilP
getStringPrefix
Predicate
GetSymbs
UtilP
getSymbs
UtilP
GetThese
UtilP
getThese
UtilP
getTTLR
UtilP
getValidBase
Predicate
getValLR
UtilP
getValLRFromTT
UtilP
getValueLR
UtilP
getValueLRHide
UtilP
getValueLRImpl
UtilP
GFail
Predicate
GProxy
Predicate
groupErrors
UtilP
Gt
Predicate
Guard
Predicate
Guard'
Predicate
Guards
Predicate
Guards'
Predicate
GuardsImpl
Predicate
GuardsImplW
Predicate
GuardsLax
Predicate
GuardsQuick
Predicate
GuardsT
Predicate
GuardsViaPara
Predicate
GuardsViaParaT
Predicate
H
Predicate
Head
Predicate
Head'
Predicate
HeadDef
Predicate
HeadFail
Predicate
HeadP
Predicate
hh
UtilP
Hide
Predicate
Hms
Refined3Helper
hms
Refined3Helper
Hms4
Refined3Helper
hms4
Refined3Helper
Hmsconv
Refined3Helper
Hmsfmt
Refined3Helper
Hmsip
Refined3Helper
Hmsop
Refined3Helper
HmsRE
Refined3Helper
Hmsval
Refined3Helper
Holder
1 (Type/Class)
UtilP
2 (Data Constructor)
UtilP
Hole
Predicate
horizontal
UtilP
I
Predicate
Id
Predicate
IdT
Predicate
If
Predicate
IfT
UtilP
Imply
Predicate
imply
UtilP
Init
Predicate
Init'
Predicate
InitDef
Predicate
InitFail
Predicate
InitP
Predicate
Inits
Predicate
Intercalate
Predicate
IntersperseT
UtilP
Ip
Refined3Helper
ip
Refined3Helper
Ip1
Refined3Helper
ip1
Refined3Helper
Ip4strictRE
Refined3Helper
Ipfmt
Refined3Helper
Ipip
Refined3Helper
Ipop
Refined3Helper
Ipop'
Refined3Helper
IsCharSet
Predicate
IsControl
Predicate
IsEmpty
Predicate
IsFixImpl
Predicate
IsHexDigit
Predicate
IsInfix
Predicate
IsInfixI
Predicate
IsJust
Predicate
IsLatin1
Predicate
IsLeft
Predicate
IsLower
Predicate
IsNothing
Predicate
IsNumber
Predicate
IsOctDigit
Predicate
IsPrefix
Predicate
IsPrefixI
Predicate
isPrime
UtilP
IsPunctuation
Predicate
IsRight
Predicate
IsSeparator
Predicate
IsSpace
Predicate
IsSuffix
Predicate
IsSuffixI
Predicate
IsTh
Predicate
IsThat
Predicate
IsThese
Predicate
IsThis
Predicate
isTrue
UtilP
IsUpper
Predicate
IterateN
Predicate
IterateNUntil
Predicate
IterateNWhile
Predicate
IterateUntil
Predicate
IterateWhile
Predicate
IToList
Predicate
IToList'
Predicate
Ix
Predicate
Ix'
Predicate
IxL
Predicate
Join
Predicate
Just'
Predicate
JustDef
Predicate
JustDef'
Predicate
JustDef''
Predicate
JustDef'''
Predicate
JustFail
Predicate
JustP
Predicate
Keep
Predicate
KeepImpl
Predicate
Last
Predicate
Last'
Predicate
LastDef
Predicate
LastFail
Predicate
LastP
Predicate
Le
Predicate
Left
Predicate
Left'
Predicate
LeftDef
Predicate
LeftFail
Predicate
LeftP
Predicate
LeftToMaybe
Predicate
Len
Predicate
Length
Predicate
LenT
UtilP
liftEval
UtilP
lite
UtilP
Lookup
Predicate
Lookup'
Predicate
LookupDef
Predicate
LookupDef'
Predicate
LookupFail
Predicate
LookupFail'
Predicate
LookupP
Predicate
LookupP'
Predicate
Lt
Predicate
Luhn
Predicate
Luhn'
Refined3Helper
Luhn''
Refined3Helper
LuhnR
Refined3Helper
LuhnR'
Refined3Helper
LuhnX
Refined3Helper
LuhnY
Refined3Helper
m3Desc
Refined3
m3Long
Refined3
m3Short
Refined3
MakeR3
Refined3
MakeRR
Predicate
MakeRR1
Predicate
MakeRR2
Predicate
MakeRR3
Predicate
Map
Predicate
MapMaybe
Predicate
MapT
UtilP
MapTX
Predicate
Max
Predicate
Max'
Predicate
MaybeB
Predicate
MaybeIn
Predicate
MaybeX
Predicate
MaybeXP
Predicate
MaybeXPT
Predicate
MConcat
Predicate
MemptyP
Predicate
MemptyProxy
Predicate
MemptyT
Predicate
MemptyT'
Predicate
MemptyT2
Predicate
MemptyT2'
Predicate
Min
Predicate
Min'
Predicate
MkDay
Predicate
MkJust
Predicate
MkLeft
Predicate
MkLeft'
Predicate
mkNode
UtilP
mkNodeB
UtilP
MkNothing
Predicate
MkNothing'
Predicate
MkNothing''
Predicate
MkProxy
Predicate
mkProxy3
Refined3
mkProxy3P
Refined3
MkProxy3T
Refined3
MkRight
Predicate
MkRight'
Predicate
MkThat
Predicate
MkThat'
Predicate
MkThese
Predicate
MkThis
Predicate
MkThis'
Predicate
Mod
Predicate
Mod'
Predicate
MonadEval
UtilP
Msg
Predicate
Msg'
Predicate
Msg3
1 (Type/Class)
Refined3
2 (Data Constructor)
Refined3
Mult
Predicate
Multiline
UtilP
N
UtilP
nat
UtilP
Ne
Predicate
Neg
Predicate
Negate
Predicate
Negative
Predicate
NegR
Predicate
NEmptyT
UtilP
Newline_cr
UtilP
Newline_crlf
UtilP
Newline_lf
UtilP
newRefined
Refined
newRefined3T
Refined3
newRefined3TP
Refined3
newRefined3TPIO
Refined3
newRefinedT
Refined
newRefinedTIO
Refined
NormalDisp
UtilP
Not
Predicate
Nothing'
Predicate
NotT
UtilP
NotZeroT
UtilP
No_auto_capture
UtilP
No_utf8_check
UtilP
Null
Predicate
nullSpace
UtilP
NullT
UtilP
o0
UtilP
o02
UtilP
o03
UtilP
o1
UtilP
o2
UtilP
o3
UtilP
oColor
UtilP
OctetRE
Refined3Helper
Odd
Predicate
oDebug
UtilP
oDisp
UtilP
oHide
UtilP
Ok
Refined3Helper
OkNot
Refined3Helper
OkNotR
Refined3Helper
OkR
Refined3Helper
ol
UtilP
olc
UtilP
oLite
UtilP
OneP
Predicate
Ones
Predicate
OR
Predicate
OrdA
Predicate
OrdA'
Predicate
OrderingP
UtilP
OrdI
Predicate
OrdP
Predicate
Ors
Predicate
Ors'
Predicate
OrT
UtilP
oShowA
UtilP
P
Predicate
PA
Predicate
Pad
Predicate
PadL
Predicate
PadR
Predicate
Pairs
Predicate
Para
Predicate
ParaImpl
Predicate
ParaImplW
Predicate
ParaLax
Predicate
ParseTimeP
Predicate
ParseTimeP'
Predicate
ParseTimes
Predicate
ParseTimes'
Predicate
Partition
Predicate
PartitionEithers
Predicate
PartitionThese
Predicate
partitionTTExtended
UtilP
partitionTTs
UtilP
pBool
UtilP
PColor
1 (Type/Class)
UtilP
2 (Data Constructor)
UtilP
PE
1 (Type/Class)
UtilP
2 (Data Constructor)
UtilP
pe
Predicate
pe0
Predicate
pe1
Predicate
pe2
Predicate
pe3
Predicate
peWith
Predicate
pex
Predicate
pl
Predicate
plc
Predicate
PMempty
Predicate
POpts
1 (Type/Class)
UtilP
2 (Data Constructor)
UtilP
Pos
Predicate
Positive
Predicate
PosR
Predicate
PP
Predicate
PPTree
UtilP
ppTree
UtilP
Pred
Predicate
PredB
Predicate
PredB'
Predicate
prefixMsg
UtilP
PresentP
UtilP
PresentT
UtilP
prettyOrd
UtilP
prettyRational
UtilP
Prime
Predicate
PrintC
Predicate
Printf
Predicate
Printf2
Predicate
Printf3
Predicate
Printf3'
Predicate
Printfn
Predicate
Printfnt
Predicate
PrintfntLax
Predicate
ProxyT
Predicate
ProxyT'
Predicate
prt3
Refined3
prt3Impl
Refined3
prt3IO
Refined3
prtC
Predicate
prtEval3
Refined3
prtEval3P
Refined3
prtEval3PIO
Refined3
prtImpl
UtilP
prtRefinedIO
Refined
prtRefinedT
Refined
prtRefinedTIO
Refined
prtTree
UtilP
prtTreePure
UtilP
prtTT
UtilP
prtTT'
UtilP
prtTTIO
UtilP
pStrings
UtilP
Pure
Predicate
Pure2
Predicate
Quot
Predicate
QuotRem
Predicate
r3In
Refined3
r3Out
Refined3
rapply
Refined
rapply0
Refined
rapply1
Refined
rapply3
Refined3
rapply3P
Refined3
Rat
Predicate
Re
Predicate
Re'
Predicate
ReadBase
Predicate
ReadBase'
Predicate
ReadBaseInt
Predicate
ReadDir
Predicate
ReadEnv
Predicate
ReadEnvAll
Predicate
ReadFile
Predicate
ReadP
Predicate
ReadP'
Predicate
ReadP''
Predicate
ReadShow
Refined3Helper
ReadShow'
Refined3Helper
ReadShowR
Refined3Helper
ReadShowR'
Refined3Helper
Refined
Refined
Refined3
Refined3
Refined3C
Refined3
refined3TH
UtilP_TH
refined3TH'
UtilP_TH
RefinedC
Refined
RefinedT
1 (Type/Class)
Refined
2 (Data Constructor)
Refined
refinedTH
UtilP_TH
refinedTH'
UtilP_TH
Rem
Predicate
Remove
Predicate
removeAnsiForDocTest
UtilP
Repeat
Predicate
RepeatP
Predicate
RepeatT
UtilP
ReplaceAll
Predicate
ReplaceAll'
Predicate
ReplaceAllString
Predicate
ReplaceAllString'
Predicate
ReplaceImpl
Predicate
ReplaceOne
Predicate
ReplaceOne'
Predicate
ReplaceOneString
Predicate
ReplaceOneString'
Predicate
Rescan
Predicate
Rescan'
Predicate
RescanRanges
Predicate
RescanRanges'
Predicate
Resplit
Predicate
Resplit'
Predicate
Results
Refined3
Reverse
Predicate
ReverseL
Predicate
ReverseTupleC
UtilP
reverseTupleC
UtilP
ReverseTupleN
Predicate
ReverseTupleP
UtilP
RF
Refined3
Right
Predicate
Right'
Predicate
RightDef
Predicate
RightFail
Predicate
RightP
Predicate
RightToMaybe
Predicate
ROpt
UtilP
RR
1 (Type/Class)
UtilP
2 (Data Constructor)
UtilP
RR1
UtilP
RR2
UtilP
RR3
UtilP
RResults
Refined3
RTF
Refined3
RTFalse
Refined3
RTTrueF
Refined3
RTTrueT
Refined3
runIO
UtilP
runPQ
Predicate
S
UtilP
Same
Predicate
Sapa
Predicate
Sapa'
Predicate
Scanl
Predicate
ScanN
Predicate
ScanNA
Predicate
Second
Predicate
Sequence
Predicate
seta
UtilP
setc
UtilP
setc0
UtilP
setc1
UtilP
setc2
UtilP
setc3
UtilP
setc4
UtilP
setd
UtilP
setu
UtilP
setv
UtilP
shortTT
UtilP
show0
UtilP
show3
UtilP
showA
UtilP
showA'
UtilP
ShowBase
Predicate
showBoolP
UtilP
showImpl
UtilP
showLit
UtilP
showLit'
UtilP
showLit0
UtilP
showLit3
UtilP
showNat
UtilP
ShowP
Predicate
showT
UtilP
showThese
UtilP
showTProxy
UtilP
Signum
Predicate
Skip
Predicate
Snd
Predicate
Snd3
Predicate
SndL
Predicate
SndL'
Predicate
SortBy
Predicate
SortByHelper
Predicate
SortOn
Predicate
SortOnDesc
Predicate
Span
Predicate
splitAndAlign
UtilP
SplitAt
Predicate
SplitAts
Predicate
Ssn
Refined3Helper
ssn
Refined3Helper
Ssnfmt
Refined3Helper
Ssnip
Refined3Helper
Ssnop
Refined3Helper
Ssnop'
Refined3Helper
Star
Predicate
Stderr
Predicate
Stdin
Predicate
Stdout
Predicate
STimes
Predicate
strictmsg
Predicate
StripLeft
Predicate
StripLR
Predicate
StripRight
Predicate
Sub
Predicate
Succ
Predicate
SuccB
Predicate
SuccB'
Predicate
Sum
Predicate
SumT
UtilP
Swap
Predicate
symb
UtilP
T
Predicate
Tail
Predicate
Tail'
Predicate
TailDef
Predicate
TailFail
Predicate
TailP
Predicate
Tails
Predicate
Take
Predicate
tBool
UtilP
tForest
UtilP
That'
Predicate
ThatDef
Predicate
ThatFail
Predicate
ThatP
Predicate
Thats
Predicate
ThatToMaybe
Predicate
Thd3
Predicate
ThdL
Predicate
ThdL'
Predicate
TheseDef
Predicate
TheseFail
Predicate
Theseid
Predicate
TheseIn
Predicate
TheseIn'
Predicate
TheseP
Predicate
Theses
Predicate
TheseToMaybe
Predicate
TheseX
Predicate
TheseXT
Predicate
This'
Predicate
ThisDef
Predicate
ThisFail
Predicate
ThisP
Predicate
Thiss
Predicate
ThisToMaybe
Predicate
TimeU
Predicate
TimeZ
Predicate
ToEnum
Predicate
ToEnum'
Predicate
ToEnumB
Predicate
ToEnumB'
Predicate
ToEnumBF
Predicate
ToGuards
Predicate
ToGuardsT
Predicate
ToList
Predicate
ToListExt
Predicate
ToLower
Predicate
ToN
UtilP
toNodeString
UtilP
ToPara
Predicate
ToRational
Predicate
ToUpper
Predicate
Traverse
Predicate
Trim
Predicate
Trim'
Predicate
TrimEnd
Predicate
TrimStart
Predicate
TrueP
UtilP
TrueT
UtilP
Truncate
Predicate
Truncate'
Predicate
tStrings
UtilP
TT
1 (Type/Class)
UtilP
2 (Data Constructor)
UtilP
TupleI
Predicate
TupleLenT
UtilP
TupleList
Predicate
TupleListD
UtilP
tupleListD
UtilP
TupleListImpl
Predicate
TupleListLax
Predicate
TupleListT
UtilP
Uncons
Predicate
Unfoldr
Predicate
UnfoldT
Predicate
Ungreedy
UtilP
unHolder
UtilP
Unicode
UtilP
unicode
UtilP
UnIToListT
Predicate
UnMkDay
Predicate
unPColor
UtilP
Unproxy
Predicate
unRavelT
Refined
unRavelTI
Refined
unRavelTIO
Refined
unRefined
Refined
unRefinedT
Refined
unsafeRefined
Refined
unsafeRefined'
Refined
unsafeRefined3
Refined3
unsafeRefined3'
Refined3
Unsnoc
Predicate
Unwrap
Predicate
Unzip
Predicate
Utf8
UtilP
valsFromTTs
UtilP
Vertical
UtilP
vertical
UtilP
vertical'
UtilP
W
Predicate
WFAppend
Predicate
WFMode
Predicate
WFWrite
Predicate
WFWriteForce
Predicate
withRefined3T
Refined3
withRefined3TIO
Refined3
withRefined3TP
Refined3
withRefinedT
Refined
withRefinedTIO
Refined
Wrap
Predicate
Wrap'
Predicate
Writefile
Predicate
Writefile'
Predicate
WritefileImpl
Predicate
X
Predicate
XA
Predicate
XF
Refined3
XPA
Predicate
XTF
Refined3
XTFalse
Refined3
XTTrueF
Refined3
XTTrueT
Refined3
Z
UtilP
Zip
Predicate
Ziplc
Predicate
Zipn
Predicate
Ziprc
Predicate
ZipThese
Predicate
ZipTheseF
Predicate
_boolT
UtilP
_FailT
UtilP
_FalseT
UtilP
_MX
Predicate
_pBool
UtilP
_PresentT
UtilP
_pStrings
UtilP
_tBool
UtilP
_tForest
UtilP
_TrueT
UtilP
_tStrings
UtilP
|>
Predicate
||
Predicate
|||
Predicate
~>
Predicate