Copyright	Alexander Krupenkin 2016-2018
License	BSD3
Maintainer	mail@akru.me
Stability	experimental
Portability	noportable
Safe Haskell	None
Language	Haskell2010

Network.Ethereum.ABI.Prim.List

Contents

Orphan instances

Description

Ethereum ABI dynamic and static size vectors based on linked lists.

Synopsis

data ListN (n :: Nat) a

Documentation

data ListN (n :: Nat) a #

A Typed-level sized List equivalent to [a]

Instances

(NatWithinBound Int n, KnownNat n) => IsList (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List Associated Types type Item (ListN n a) :: * # Methods fromList :: [Item (ListN n a)] -> ListN n a # fromListN :: Int -> [Item (ListN n a)] -> ListN n a # toList :: ListN n a -> [Item (ListN n a)] #
Eq a => Eq (ListN n a)
Instance details Defined in Basement.Sized.List Methods (==) :: ListN n a -> ListN n a -> Bool # (/=) :: ListN n a -> ListN n a -> Bool #
Ord a => Ord (ListN n a)
Instance details Defined in Basement.Sized.List Methods compare :: ListN n a -> ListN n a -> Ordering # (<) :: ListN n a -> ListN n a -> Bool # (<=) :: ListN n a -> ListN n a -> Bool # (>) :: ListN n a -> ListN n a -> Bool # (>=) :: ListN n a -> ListN n a -> Bool # max :: ListN n a -> ListN n a -> ListN n a # min :: ListN n a -> ListN n a -> ListN n a #
Show a => Show (ListN n a)
Instance details Defined in Basement.Sized.List Methods showsPrec :: Int -> ListN n a -> ShowS # show :: ListN n a -> String # showList :: [ListN n a] -> ShowS #
Generic (ListN n a)
Instance details Defined in Basement.Sized.List Associated Types type Rep (ListN n a) :: * -> * # Methods from :: ListN n a -> Rep (ListN n a) x # to :: Rep (ListN n a) x -> ListN n a #
NormalForm a => NormalForm (ListN n a)
Instance details Defined in Basement.Sized.List Methods toNormalForm :: ListN n a -> () #
(NatWithinBound Int n, KnownNat n, ABIGet a) => ABIGet (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List Methods abiGet :: Get (ListN n a) #
ABIPut a => ABIPut (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List Methods abiPut :: Putter (ListN n a) #
ABIType (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List Methods isDynamic :: Proxy (ListN n a) -> Bool #
type Rep (ListN n a)
Instance details Defined in Basement.Sized.List type Rep (ListN n a) = D1 (MetaData "ListN" "Basement.Sized.List" "basement-0.0.8-8QjArDsw3GWCcbHE5iqtz3" True) (C1 (MetaCons "ListN" PrefixI True) (S1 (MetaSel (Just "unListN") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a])))
type Item (ListN n a) #
Instance details Defined in Network.Ethereum.ABI.Prim.List type Item (ListN n a) = a

Orphan instances

ABIGet a => ABIGet [a] #
Instance details Methods abiGet :: Get [a] #
ABIPut a => ABIPut [a] #
Instance details Methods abiPut :: Putter [a] #
ABIType [a] #
Instance details Methods isDynamic :: Proxy [a] -> Bool #
(NatWithinBound Int n, KnownNat n) => IsList (ListN n a) #
Instance details Associated Types type Item (ListN n a) :: * # Methods fromList :: [Item (ListN n a)] -> ListN n a # fromListN :: Int -> [Item (ListN n a)] -> ListN n a # toList :: ListN n a -> [Item (ListN n a)] #
(NatWithinBound Int n, KnownNat n, ABIGet a) => ABIGet (ListN n a) #
Instance details Methods abiGet :: Get (ListN n a) #
ABIPut a => ABIPut (ListN n a) #
Instance details Methods abiPut :: Putter (ListN n a) #
ABIType (ListN n a) #
Instance details Methods isDynamic :: Proxy (ListN n a) -> Bool #