Copyright | Alexander Krupenkin 2016-2018 |
---|---|
License | BSD3 |
Maintainer | mail@akru.me |
Stability | experimental |
Portability | unportable |
Safe Haskell | None |
Language | Haskell2010 |
Network.Ethereum.ABI.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.
- 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 InsertCmp (b :: Ordering) (x :: Type) (y :: Type) (ys :: [Type]) where Source #
Minimal complete definition
Associated Types
type InsertCmp' b x y ys :: [Type] 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 ((:) Type 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, (~) [Type] (Concat as bs) cs, Sort cs, (~) [Type] (Sort' cs) cs') => HListMergeSort 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, (~) [Type] (MergeSort' as bs) cs, UnTag cs, (~) Constraint (UnTag cs') ds) => MergeIndexedArguments as bs Source # | |