Safe Haskell	Safe
Language	Haskell2010

Data.Fin

Documentation

data Fin :: Peano -> * where Source #

Constructors

Zero :: Fin (Succ n)
Succ :: Fin n -> Fin (Succ n)