Utils.ConstantTable

Definitions

data ConstantTable : Nat -> Type -> Type

  A constant table that can be read in O(1) time

Totality: total
Visibility: export
Constructor: 

MkFromArray : ArrayData e -> ConstantTable (S n) e

length : ConstantTable n e -> Nat

Visibility: export

index : Fin (S n) -> ConstantTable (S n) a -> a

Visibility: export

index_bits8 : Bits8 -> ConstantTable 256 a -> a

Visibility: export

from_vect : Vect (S n) a -> ConstantTable (S n) a

Visibility: export