vector-static-0.0.1: Statically checked sizes on Data.Vector Source code Contents Index

Data.Fin

Documentation

newtype Fin n Source

Constructors Fin Int Instances Eq (Fin n) Ord (Fin n) Show (Fin n)

zero :: Fin (S n) Source

succ :: Fin n -> Fin (S n) Source

addFin :: Fin x -> Fin y -> Fin (x :+: y) Source

Produced by Haddock version 2.6.0