FuPy - Functional Programming in Python

Documentation

• FuPy: Functional Programming in Python
  • Overview
  • Contents
  • Notes
• Basics
  • Contents
  • Predefined types
  • Predefined Func-wrapped functions
  • Function combinators
  • Lambda expressions
  • Operator sections
  • Printing of Func values
  • Examples
• Tracing of Func and Lazy evaluations
• Lazy expressions
  • Examples
  • Notes
• Fixpoints
  • Fixpoints of functions: fix
  • Functors
  • Fixpoints of functors: Fix
• Prelude: Natural number and (in)finite lists
  • Further convenience functions and types
  • The (co)inductive type of natural numbers: Nat
  • The (co)inductive type of lists: List_
  • Treating int (>=0) and list as inductive types
• Design Considerations
  • Tensions
• Implementation Details
  • Func
  • OperatorSection
  • Lazy
  • Interactions between Func, OperatorSection, Lazy
• Related Stuff

FuPy Package

• Basics
  • Empty
  • Unit
  • unit
  • Either
  • left()
  • right()
  • guard()
  • Both
  • first()
  • second()
  • Func
  • func()
  • la()
  • undefined()
  • id_()
  • const()
  • OperatorSection
  • curry()
  • uncurry()
  • flip()
  • ap()
  • compose()
  • split()
  • case_()
  • ftimes()
  • fplus()
  • fpower()
  • fpower_left()
• Operator
  • bool_()
  • int_()
  • str_()
• Tracing
  • BaseStep
  • Trace
  • TracingTerminated
  • dec_depth()
  • inc_depth()
  • trace()
  • trace_step()
  • Tracing basics
  • Tracing laziness
• Laziness
  • Lazy
  • IterLazy
  • evaluate()
  • lazy()
  • lazyf()
  • fpower_lazy()
  • fpower_left_lazy()
• Fixpoints
  • fix()
  • Functor
  • fmap()
  • Fmap
  • Fix
  • in_()
  • out()
  • FAlgebra
  • cata()
  • cata_()
  • F_CoAlgebra
  • ana()
  • ana_()
  • hylo()
• Core
• Prelude
• All
• Utils
  • count_required_args()
  • force()
  • indent_lines()
  • show_args()
  • show_value()

Indices and tables

• Index