Idris2Doc
: fin-lizzie
Index
Default
Alternative
Black & White
Package fin-lizzie - Namespaces
Data.Fin.Interpolation
Data.Fin.Lists
Functions for collections of `Fin`s
Data.Fin.Map
Specialised map from `Fin`s to any type. Isomorphic to a vector of appropriate size of maybe's of appropriate type.
Data.Fin.Minus
Special subtraction of a `Fin` from a `Nat`
Data.Fin.Set
Specialised set of `Fin`s. Isomorphic to a vector of appropriate size of booleans.
Data.Fin.ToFin
Conversions of `Fin`s to `Fin`s