The Zen of Idris

Guidelines for writing programs in Idris.

1. Written not assuming Laziness

Naming Conventions

• In general, names should be in Camel Case.
• Type constructors and data constructors should be in Upper Camel Case, e.g. Pair and MkPair.
• Functions should be in Lower Camel Case, e.g. isHexDigit.
• Effects should be in Upper Case, e.g. STDIO.
• Private or special functions may be in Snake Case, e.g. maybe_bind, believe_me and assert_total.
• Metavariables should end in Snake Case, e.g. ?myAppend_rhs

Layout Guidelines

Case Statements

IfThenElse Statements

Documentation Guidelines

Classes and Instances

Haddock Style Comments

Inline Comments