vector-static-0.1.0: Statically checked sizes on Data.VectorSource codeContentsIndex
Data.Nat
Documentation
newtype I x Source
Constructors
I
unI :: x
newtype K x y Source
Constructors
K
unK :: x
data Z Source
show/hide Instances
data S n Source
show/hide Instances
Reify n => Reify (S n)
newtype Nat n Source
Constructors
Nat Int
show/hide Instances
Show (Nat n)
z :: Nat ZSource
s :: Nat n -> Nat (S n)Source
natToInt :: Nat n -> IntSource
data Reifiable n whereSource
Constructors
Proof :: Reify n => Reifiable n
data Exists Source
Constructors
forall n . Ex !(Reifiable n)
reifiable :: Nat n -> Reifiable nSource
class Reify n whereSource
Methods
witnessNat :: Nat nSource
show/hide Instances
Reify Z
Reify n => Reify (S n)
type family a :+: b :: *Source
type family a :*: b :: *Source
addNat :: Nat a -> Nat b -> Nat (a :+: b)Source
mulNat :: Nat a -> Nat b -> Nat (a :*: b)Source
data NatView n whereSource
Constructors
Zero :: NatView Z
Succ :: Nat n -> NatView (S n)
view :: Nat n -> NatView nSource
Produced by Haddock version 2.6.0