Copyright | Alexander Krupenkin 2017-2018 |
---|---|
License | BSD3 |
Maintainer | mail@akru.me |
Stability | experimental |
Portability | unportable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Solidity.Event.Internal
Description
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 :: [Type] -> Type where
- class HListRep a xs | a -> xs, a -> xs where
- class Sort (xs :: [Type]) where
- class Insert (x :: Type) (xs :: [Type]) where
- class InsertCmp (b :: Ordering) (x :: Type) (y :: Type) (ys :: [Type]) where
- type InsertCmp' b x y ys :: [Type]
- class UnTag t where
- class HListMerge (as :: [Type]) (bs :: [Type]) where
- class HListMergeSort as bs where
- type MergeSort' as bs :: [Type]
- class MergeIndexedArguments as bs where
- type MergeIndexedArguments' as bs :: [Type]
Documentation
class HListRep a xs | a -> xs, a -> xs where Source #
Generic representation to HList representation
class Sort (xs :: [Type]) where Source #
Sort a Tagged HList
Minimal complete definition
class Insert (x :: Type) (xs :: [Type]) where Source #
Minimal complete definition
class InsertCmp (b :: Ordering) (x :: Type) (y :: Type) (ys :: [Type]) where Source #
Minimal complete definition
Associated Types
type InsertCmp' b x y ys :: [Type] Source #
Methods
insertCmp :: Proxy (b :: Ordering) -> x -> y -> HList ys -> HList (InsertCmp' b x y ys) Source #
Unwrap all the Tagged items in an HList
Minimal complete definition
class HListMerge (as :: [Type]) (bs :: [Type]) where Source #
Minimal complete definition
Instances
HListMerge ([] :: [Type]) bs Source # | |
HListMerge as bs => HListMerge (a ': as) bs Source # | |
class HListMergeSort as bs where Source #
Minimal complete definition
Associated Types
type MergeSort' as bs :: [Type] Source #
Methods
mergeSortHList :: HList as -> HList bs -> HList (MergeSort' as bs) Source #
Instances
(HListMerge as bs, Concat as bs ~ cs, Sort cs, Sort' cs ~ cs') => HListMergeSort as bs Source # | |
Defined in Data.Solidity.Event.Internal Associated Types type MergeSort' as bs :: [Type] Source # Methods mergeSortHList :: HList as -> HList bs -> HList (MergeSort' as bs) Source # |
class MergeIndexedArguments as bs where Source #
Minimal complete definition
Associated Types
type MergeIndexedArguments' as bs :: [Type] Source #
Methods
mergeIndexedArguments :: HList as -> HList bs -> HList (MergeIndexedArguments' as bs) Source #
Instances
(HListMergeSort as bs, MergeSort' as bs ~ cs, UnTag cs, UnTag cs' ~ ds) => MergeIndexedArguments as bs Source # | |
Defined in Data.Solidity.Event.Internal Associated Types type MergeIndexedArguments' as bs :: [Type] Source # Methods mergeIndexedArguments :: HList as -> HList bs -> HList (MergeIndexedArguments' as bs) Source # |