A Typed-level sized List equivalent to [a]
Instances11IsList, Eq, Ord, Show, Generic, NormalForm, …
(NatWithinBound Int n, KnownNat n) => IsList (ListN n a)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphanEq a => Eq (ListN n a)Defined in basement-0.0.16 · Basement.Sized.ListOrd a => Ord (ListN n a)Defined in basement-0.0.16 · Basement.Sized.ListShow a => Show (ListN n a)Defined in basement-0.0.16 · Basement.Sized.ListGeneric (ListN n a)Defined in basement-0.0.16 · Basement.Sized.ListNormalForm a => NormalForm (ListN n a)Defined in basement-0.0.16 · Basement.Sized.List(NatWithinBound Int n, KnownNat n, AbiGet a) => AbiGet (ListN n a)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphan(AbiPut a, KnownNat n,Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphan1
<= (n +1
)) => AbiPut (ListN n a)(AbiType a, KnownNat n) => AbiType (ListN n a)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphantype Rep (ListN n a) = D1 ('MetaDataDefined in basement-0.0.16 · Basement.Sized.List"ListN"
"Basement.Sized.List"
"basement-0.0.16-LMHb76lxsKVWIx4pyoLKV"
'True) (C1 ('MetaCons"ListN"
'PrefixI 'True) (S1 ('MetaSel ('Just"unListN"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))type Item (ListN n a) = aDefined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.List · orphan