Data.Predicate

Predicate

type Predicate a f t

constant

failure

true

false

and

or

orElse

(.&.)

(.|.)

(|||)

exec

Result

data Result f t

result

fromEither

toEither

data ResultT f m t

resultT

resultT'

mapResultT

hoistResult

okay

throwF

Product

data a ::: b

(#)

hd

tl

_1

_2

_3

_4

_5

_6

_7

_8

_9

_1'

_2'

_3'

_4'

_5'

_6'

_7'

_8'

_9'