The Zen of Idris

Jump to bottom Edit New page

defanor edited this page Oct 31, 2014 · 9 revisions

Guidelines for writing programs in Idris.

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.

Layout Guidelines

Case Statements

IfThenElse Statements

Documentation Guidelines

Classes and Instances

Haddock Style Comments

Inline Comments