The Zen of Idris

Jump to bottom Edit New page

Jan de Muijnck-Hughes edited this page Jun 6, 2014 · 9 revisions

Guidelines for writing programs in Idris.

Written not assuming Laziness

Naming Conventions

Names should be in Camel Case.
Types should be in Upper Camel Case i.e. UpperCamelCase
Functions should be in Lower Camel Case i.e. lowerCamelCase
Effects should be in Upper Case i.e. STDIO
Data Constructors should...
Type Constructors should...

Layout Guidelines

Case Statements

IfThenElse Statements

Documentation Guidelines

Classes and Instances

Haddock Style Comments

Inline Comments