Index

A

ana() (in module FuPy.fixpoints) ana_() (in module FuPy.fixpoints)

ap() (in module FuPy.basics) ApplicationStep (class in FuPy.tracing_basics)

B

BaseStep (class in FuPy.tracing)

bool_() (in module FuPy.operator_) Both (in module FuPy.basics)

C

case_() (in module FuPy.basics) cata() (in module FuPy.fixpoints) cata_() (in module FuPy.fixpoints)

compose() (in module FuPy.basics) const() (in module FuPy.basics) count_required_args() (in module FuPy.utils) curry() (in module FuPy.basics)

D

dec_depth() (in module FuPy.tracing) DefinitionStep (class in FuPy.tracing_basics)

depth (FuPy.tracing.BaseStep attribute) (FuPy.tracing.Trace attribute)

E

Either (in module FuPy.basics) Empty (class in FuPy.basics)

evaluate() (in module FuPy.laziness) EvaluationStep (class in FuPy.tracing_laziness)

F

F_CoAlgebra (in module FuPy.fixpoints) FAlgebra (in module FuPy.fixpoints) first() (in module FuPy.basics) Fix (class in FuPy.fixpoints) fix() (in module FuPy.fixpoints) flip() (in module FuPy.basics) Fmap (in module FuPy.fixpoints) fmap() (in module FuPy.fixpoints) force() (in module FuPy.utils) fplus() (in module FuPy.basics) fpower() (in module FuPy.basics) fpower_lazy() (in module FuPy.laziness) fpower_left() (in module FuPy.basics) fpower_left_lazy() (in module FuPy.laziness) ftimes() (in module FuPy.basics) Func (class in FuPy.basics) func() (in module FuPy.basics) Functor (class in FuPy.fixpoints) FuPy.all module

FuPy.basics module FuPy.core module FuPy.fixpoints module FuPy.laziness module FuPy.operator_ module FuPy.prelude module FuPy.tracing module FuPy.tracing_basics module FuPy.tracing_laziness module FuPy.utils module

G

GettingStep (class in FuPy.tracing_laziness)

guard() (in module FuPy.basics)

H

hylo() (in module FuPy.fixpoints)

I

id_() (in module FuPy.basics) in_() (in module FuPy.fixpoints) inc_depth() (in module FuPy.tracing)

indent_lines() (in module FuPy.utils) int_() (in module FuPy.operator_) IterLazy (in module FuPy.laziness)

L

la() (in module FuPy.basics) Lazy (class in FuPy.laziness) lazy() (in module FuPy.laziness)

lazyf() (in module FuPy.laziness) left() (in module FuPy.basics) log() (FuPy.tracing.Trace method)

M

max_steps (FuPy.tracing.Trace attribute) module FuPy.all FuPy.basics FuPy.core FuPy.fixpoints FuPy.laziness FuPy.operator_ FuPy.prelude FuPy.tracing FuPy.tracing_basics FuPy.tracing_laziness FuPy.utils

MotivationStep (class in FuPy.tracing_basics)

N

note (FuPy.tracing.BaseStep attribute)

O

OperatorSection (class in FuPy.basics)

out() (in module FuPy.fixpoints)

R

ResultStep (class in FuPy.tracing_basics)

right() (in module FuPy.basics)

S

second() (in module FuPy.basics) set_depth() (FuPy.tracing.BaseStep method) show_args() (in module FuPy.utils) show_value() (in module FuPy.utils)

skip_steps (FuPy.tracing.Trace attribute) split() (in module FuPy.basics) str_() (in module FuPy.operator_) SuspensionStep (class in FuPy.tracing_laziness)

T

Trace (class in FuPy.tracing) trace (FuPy.tracing.Trace attribute)

trace() (in module FuPy.tracing) trace_step() (in module FuPy.tracing) TracingTerminated

U

uncurry() (in module FuPy.basics) undefined() (in module FuPy.basics)

Unit (class in FuPy.basics) unit (in module FuPy.basics) update_depth() (FuPy.tracing.Trace method)