Module

Network.Ethereum.Web3.Solidity.Vector

Package
purescript-web3
Repository
f-o-a-m/purescript-web3

#Vector Source

newtype Vector n a

Represents a statically sized vector of length n

Instances

#unVector Source

unVector :: forall n a. Vector n a -> Array a

Access the underlying array

#nilVector Source

nilVector :: forall a. Vector Z a

Array of length 0

#vCons Source

vCons :: forall n a. a -> Vector n a -> Vector (S n) a

Dependently typed cons

#(:<) Source

Operator alias for Network.Ethereum.Web3.Solidity.Vector.vCons (right-associative / precedence 6)

#vectorLength Source

vectorLength :: forall n a. KnownNat n => Vector n a -> Int

Get the length of a statically sized vector

#toVector Source

toVector :: forall n a. KnownNat n => Array a -> Maybe (Vector n a)

Attempt to coerce an array into a statically sized array