Network.Ethereum.Web3.Solidity.Vector

newtype Vector (n :: DigitList) a

Represents a statically sized vector of length n. See module Network.Ethereum.Web3.Solidity.Sizes for some predefined sizes.

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 (DOne D0) a

Array of length 0

vCons :: forall nInc n a. Inc n nInc => a -> Vector n a -> Vector nInc a

Dependently typed cons

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

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

Get the length of a statically sized vector

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

Attempt to coerce an array into a statically sized array. See module Network.Ethereum.Web3.Solidity.Sizes for some predefined sizes.