Global Index

A

All [library]
answer [projection, in Io.Effect]

C

C [library]
Call [constructor, in Io.Run]
Call [constructor, in Io.Trace]
call [definition, in Io.C]
Call [constructor, in Io.C]
choose [definition, in Io.C]
Choose [constructor, in Io.C]
ChooseLeft [constructor, in Io.Run]
ChooseLeft [constructor, in Io.Trace]
ChooseRight [constructor, in Io.Run]
ChooseRight [constructor, in Io.Trace]
command [projection, in Io.Effect]
compose [definition, in Io.Effect]

E

Effect [library]

G

general [definition, in Io.UseCase]
Generalize [module, in Io.UseCase]
Generalize.t [definition, in Io.UseCase]

I

I [module, in Io.Run]
I [module, in Io.Trace]
I [module, in Io.UseCase]
I [module, in Io.C]
I.Call [constructor, in Io.Run]
I.Call [constructor, in Io.Trace]
I.call [definition, in Io.C]
I.Call [constructor, in Io.C]
I.choose [definition, in Io.C]
I.Choose [constructor, in Io.C]
I.ChooseLeft [constructor, in Io.Run]
I.ChooseLeft [constructor, in Io.Trace]
I.ChooseRight [constructor, in Io.Run]
I.ChooseRight [constructor, in Io.Trace]
I.Eq [module, in Io.Run]
I.Eq [module, in Io.Trace]
I.Eq.Call [constructor, in Io.Run]
I.Eq.Call [constructor, in Io.Trace]
I.Eq.ChooseLeft [constructor, in Io.Run]
I.Eq.ChooseLeft [constructor, in Io.Trace]
I.Eq.ChooseRight [constructor, in Io.Run]
I.Eq.ChooseRight [constructor, in Io.Trace]
I.Eq.Join [constructor, in Io.Run]
I.Eq.Join [constructor, in Io.Trace]
I.Eq.Let [constructor, in Io.Run]
I.Eq.Let [constructor, in Io.Trace]
I.Eq.Ret [constructor, in Io.Run]
I.Eq.Ret [constructor, in Io.Trace]
I.Eq.t [inductive, in Io.Run]
I.Eq.t [inductive, in Io.Trace]
I.Generalize [module, in Io.UseCase]
I.Generalize.t [definition, in Io.UseCase]
I.Join [constructor, in Io.Run]
I.Join [constructor, in Io.Trace]
I.join [definition, in Io.C]
I.Join [constructor, in Io.C]
I.Let [constructor, in Io.Run]
I.Let [constructor, in Io.Trace]
I.Let [constructor, in Io.C]
I.lift [definition, in Io.Run]
I.lift [definition, in Io.C]
I.New [constructor, in Io.UseCase]
I.Notations [module, in Io.Run]
I.Notations [module, in Io.Trace]
I.Notations [module, in Io.C]
I.Notations.call [definition, in Io.Run]
I.Notations.call [definition, in Io.Trace]
I.Notations.choose_right [definition, in Io.Run]
I.Notations.choose_left [definition, in Io.Run]
I.Notations.choose_right [definition, in Io.Trace]
I.Notations.choose_left [definition, in Io.Trace]
I.Notations.join [definition, in Io.Run]
I.Notations.join [definition, in Io.Trace]
I.Notations.ret [definition, in Io.Run]
I.Notations.ret [definition, in Io.Trace]
ido! _ in _ [notation, in Io.C]
ilet! _ : _ := _ in _ [notation, in Io.C]
ilet! _ := _ in _ [notation, in Io.C]
rdo! _ in _ [notation, in Io.Run]
rlet! _ in _ [notation, in Io.Run]
tilet! _ in _ [notation, in Io.Trace]
I.P [projection, in Io.UseCase]
I.r [projection, in Io.UseCase]
I.Ret [constructor, in Io.Run]
I.Ret [constructor, in Io.Trace]
I.ret [definition, in Io.C]
I.Ret [constructor, in Io.C]
I.t [inductive, in Io.Run]
I.t [inductive, in Io.Trace]
I.t [record, in Io.UseCase]
I.t [inductive, in Io.C]
I.to_of_run [definition, in Io.Trace]
I.to_run [definition, in Io.Trace]
I.trace_of_to_run [definition, in Io.Trace]
I.trace_of_run [definition, in Io.Trace]
I.unfold [definition, in Io.Run]
I.unfold [definition, in Io.Trace]
I.unfold [definition, in Io.C]
I.unfold_eq [definition, in Io.Run]
I.unfold_eq [definition, in Io.Trace]
I.unfold_eq [definition, in Io.C]
I.v [projection, in Io.UseCase]
I.Valid [module, in Io.Trace]
I.valid_of_run [definition, in Io.Trace]
I.Valid.Call [constructor, in Io.Trace]
I.Valid.ChooseLeft [constructor, in Io.Trace]
I.Valid.ChooseRight [constructor, in Io.Trace]
I.Valid.Join [constructor, in Io.Trace]
I.Valid.Let [constructor, in Io.Trace]
I.Valid.Ret [constructor, in Io.Trace]
I.Valid.t [inductive, in Io.Trace]
I.Valid.unfold [definition, in Io.Trace]
I.Valid.unfold_eq [definition, in Io.Trace]

J

Join [constructor, in Io.Run]
Join [constructor, in Io.Trace]
join [definition, in Io.C]
Join [constructor, in Io.C]

L

Let [constructor, in Io.Run]
Let [constructor, in Io.Trace]
Let [constructor, in Io.C]

N

New [constructor, in Io.Effect]
New [constructor, in Io.UseCase]
Notations [module, in Io.Run]
Notations [module, in Io.Trace]
Notations [module, in Io.C]
Notations.call [definition, in Io.Run]
Notations.call [definition, in Io.Trace]
Notations.choose_right [definition, in Io.Run]
Notations.choose_left [definition, in Io.Run]
Notations.choose_right [definition, in Io.Trace]
Notations.choose_left [definition, in Io.Trace]
Notations.join [definition, in Io.Run]
Notations.join [definition, in Io.Trace]
Notations.ret [definition, in Io.Run]
Notations.ret [definition, in Io.Trace]
do! _ in _ [notation, in Io.C]
let! _ : _ := _ in _ [notation, in Io.C]
let! _ := _ in _ [notation, in Io.C]
rdo! _ in _ [notation, in Io.Run]
rlet! _ in _ [notation, in Io.Run]
tlet! _ in _ [notation, in Io.Trace]

O

of_to_run [definition, in Io.Trace]
of_run [definition, in Io.Trace]

P

P [projection, in Io.UseCase]

R

r [projection, in Io.UseCase]
Ret [constructor, in Io.Run]
Ret [constructor, in Io.Trace]
ret [definition, in Io.C]
Ret [constructor, in Io.C]
Run [library]

T

t [inductive, in Io.Run]
t [record, in Io.Effect]
t [inductive, in Io.Trace]
t [record, in Io.UseCase]
t [inductive, in Io.C]
to_of_run [definition, in Io.Trace]
to_run [definition, in Io.Trace]
Trace [library]