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