Type-Driven Development with Idris

Index

[SYMBOL][A][B][C][D][E][F][G][H][I][J][L][M][N][O][P][Q][R][S][T][U][V][W][Z]

SYMBOL

_ (underscore), 2^nd, 3^rd :: operator, 2^nd, 3^rd :printdef command :r command . function /= method, 2^nd %default total annotation + operator ++ operator, 2^nd = type == operator, 2^nd, 3^rd >>= operator $ operator, 2^nd $= operator

A

absurd function accumulating parameter Add command addCorrect addDownvote function adder function, 2^nd AdderType function addition function addPositives addToData function addToStore function, 2^nd, 3^rd addUpvote function addWrong function allLengths function, refining type of anonymous functions Append operation AppendVec.idr file Applicative interface   defining for State   generic do notation using ...