Network.Ethereum.Web3.Solidity.Vector

newtype Vector n a

Represents a statically sized vector of length n

Instances

• (Show a) => Show (Vector n a)
• (Eq a) => Eq (Vector n a)
• Functor (Vector n)
• Unfoldable (Vector n)
• Foldable (Vector n)
• Traversable (Vector n)

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

Access the underlying array

nilVector :: forall a. Vector Z a

Array of length 0

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

Dependently typed cons

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

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

Get the length of a statically sized vector

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

Attempt to coerce an array into a statically sized array