Moduleweb3-solidity-1.1.0.0Haskell2010

Data.Solidity.Event.Internal

This module is internal, the purpose is to define helper classes and types to assist in event decoding. The user of this library should have no need to use this directly in application code.

Synopsis

data HList
class HListRep
class Sort
class Insert
class InsertCmp
class UnTag
class HListMerge
class HListMergeSort
class MergeIndexedArguments

Packageweb3-solidity-1.1.0.0
Exports9
LanguageHaskell2010
LicenceApache-2.0
SourceInternal.hs

datadata HList (a :: [Type]) where

Constructors

HNil :: HList '[]
(:<) :: a1 -> HList as -> HList (a1 ': as)infixr 0

classclass HListRep a (xs :: [Type]) | a -> xs, a -> xs where

Source#

Generic representation to HList representation

Methods

toHList :: a -> HList xs
fromHList :: HList xs -> a

Instances3HListRep

HListRep (NP f as') as => HListRep (SOP f '[as']) asDefined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal
HListRep (NP I '[]) '[]Defined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal
HListRep (NP I as) as => HListRep (NP I (a ': as)) (a ': as)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal

classclass Sort (xs :: [Type]) where

Source#

Sort a Tagged HList

Associated types

type family Sort' (xs :: [Type]) :: [Type]

Methods

sort :: HList xs -> HList (Sort' xs)

Instances2Sort

Sort '[]Defined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal
(Sort xs, Insert x (Sort' xs)) => Sort (x ': xs)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal

classclass Insert x (xs :: [Type]) where

Associated types

type family Insert' x (xs :: [Type]) :: [Type]

Methods

insert :: x -> HList xs -> HList (Insert' x xs)

Instances2Insert

Insert x '[]Defined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal
InsertCmp (CmpNat n m) (Tagged n x) (Tagged m y) ys => Insert (Tagged n x) (Tagged m y ': ys)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal

classclass InsertCmp (b :: Ordering) x y (ys :: [Type]) where

Associated types

type family InsertCmp' (b :: Ordering) x y (ys :: [Type]) :: [Type]

Methods

insertCmp :: Proxy b -> x -> y -> HList ys -> HList (InsertCmp' b x y ys)

Instances2InsertCmp

Insert x ys => InsertCmp 'GT x y ysDefined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal
InsertCmp 'LT x y ysDefined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal

classclass UnTag (t :: [Type]) where

Source#

Unwrap all the Tagged items in an HList

Associated types

type family UnTag' (t :: [Type]) :: [Type]

Methods

unTag :: HList t -> HList (UnTag' t)

Instances2UnTag

UnTag '[]Defined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal
UnTag ts => UnTag (Tagged n a ': ts)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal

classclass HListMerge (as :: [Type]) (bs :: [Type]) where

Associated types

type family Concat (as :: [Type]) (bs :: [Type]) :: [Type]

Methods

mergeHList :: HList as -> HList bs -> HList (Concat as bs)

Instances2HListMerge

HListMerge '[] bsDefined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal
HListMerge as bs => HListMerge (a ': as) bsDefined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal

classclass HListMergeSort (as :: [Type]) (bs :: [Type]) where

Associated types

type family MergeSort' (as :: [Type]) (bs :: [Type]) :: [Type]

Methods

mergeSortHList :: HList as -> HList bs -> HList (MergeSort' as bs)

Instances1HListMergeSort

(HListMerge as bs, Concat as bs ~ cs, Sort cs, Sort' cs ~ cs') => HListMergeSort as bsDefined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal

classclass MergeIndexedArguments (as :: [Type]) (bs :: [Type]) where

Associated types

type family MergeIndexedArguments' (as :: [Type]) (bs :: [Type]) :: [Type]

Methods

mergeIndexedArguments :: HList as -> HList bs -> HList (MergeIndexedArguments' as bs)

Instances1MergeIndexedArguments

(HListMergeSort as bs, MergeSort' as bs ~ cs, UnTag cs, UnTag cs' ~ ds) => MergeIndexedArguments as bsDefined in web3-solidity-1.1.0.0 · Data.Solidity.Event.Internal