Safe Haskell	None
Language	Haskell2010

EVM.Solidity

Synopsis

solidity :: Text -> Text -> IO (Maybe ByteString)
data JumpType
- = JumpInto
- | JumpFrom
- | JumpRegular
data SolcContract = SolcContract {
- _runtimeCodehash :: W256
- _creationCodehash :: W256
- _runtimeCode :: ByteString
- _creationCode :: ByteString
- _contractName :: Text
- _constructorInputs :: [(Text, AbiType)]
- _abiMap :: Map Word32 Method
- _eventMap :: Map W256 Event
- _runtimeSrcmap :: Seq SrcMap
- _creationSrcmap :: Seq SrcMap
- _contractAst :: Value
}
data SourceCache = SourceCache {
- _snippetCache :: Map (Int, Int) ByteString
- _sourceFiles :: Map Int (Text, ByteString)
- _sourceLines :: Map Int (Vector ByteString)
- _sourceAsts :: Map Text Value
}
data SrcMap = SM {
- srcMapOffset :: Int
- srcMapLength :: Int
- srcMapFile :: Int
- srcMapJump :: JumpType
}
data CodeType
- = Creation
- | Runtime
data Method = Method {
- _methodOutput :: Maybe (Text, AbiType)
- _methodInputs :: [(Text, AbiType)]
- _methodName :: Text
- _methodSignature :: Text
}
methodName :: Lens' Method Text
methodSignature :: Lens' Method Text
methodInputs :: Lens' Method [(Text, AbiType)]
methodOutput :: Lens' Method (Maybe (Text, AbiType))
abiMap :: Lens' SolcContract (Map Word32 Method)
eventMap :: Lens' SolcContract (Map W256 Event)
contractName :: Lens' SolcContract Text
constructorInputs :: Lens' SolcContract [(Text, AbiType)]
creationCode :: Lens' SolcContract ByteString
makeSrcMaps :: Text -> Maybe (Seq SrcMap)
readSolc :: FilePath -> IO (Maybe (Map Text SolcContract, SourceCache))
runtimeCode :: Lens' SolcContract ByteString
snippetCache :: Lens' SourceCache (Map (Int, Int) ByteString)
runtimeCodehash :: Lens' SolcContract W256
creationCodehash :: Lens' SolcContract W256
runtimeSrcmap :: Lens' SolcContract (Seq SrcMap)
creationSrcmap :: Lens' SolcContract (Seq SrcMap)
contractAst :: Lens' SolcContract Value
sourceFiles :: Lens' SourceCache (Map Int (Text, ByteString))
sourceLines :: Lens' SourceCache (Map Int (Vector ByteString))
sourceAsts :: Lens' SourceCache (Map Text Value)
stripBytecodeMetadata :: ByteString -> ByteString
lineSubrange :: Vector ByteString -> (Int, Int) -> Int -> Maybe (Int, Int)
astIdMap :: Foldable f => f Value -> Map Int Value
astSrcMap :: Map Int Value -> SrcMap -> Maybe Value

Documentation

solidity :: Text -> Text -> IO (Maybe ByteString) Source #

data JumpType Source #

Constructors

JumpInto
JumpFrom
JumpRegular

Instances

Eq JumpType Source #
Instance details Defined in EVM.Solidity Methods (==) :: JumpType -> JumpType -> Bool # (/=) :: JumpType -> JumpType -> Bool #
Ord JumpType Source #
Instance details Defined in EVM.Solidity Methods compare :: JumpType -> JumpType -> Ordering # (<) :: JumpType -> JumpType -> Bool # (<=) :: JumpType -> JumpType -> Bool # (>) :: JumpType -> JumpType -> Bool # (>=) :: JumpType -> JumpType -> Bool # max :: JumpType -> JumpType -> JumpType # min :: JumpType -> JumpType -> JumpType #
Show JumpType Source #
Instance details Defined in EVM.Solidity Methods showsPrec :: Int -> JumpType -> ShowS # show :: JumpType -> String # showList :: [JumpType] -> ShowS #
Generic JumpType Source #
Instance details Defined in EVM.Solidity Associated Types type Rep JumpType :: * -> * # Methods from :: JumpType -> Rep JumpType x # to :: Rep JumpType x -> JumpType #
type Rep JumpType Source #
Instance details Defined in EVM.Solidity type Rep JumpType = D1 (MetaData "JumpType" "EVM.Solidity" "hevm-0.24-3aA5LU32nyhTVeUOUjcXw" False) (C1 (MetaCons "JumpInto" PrefixI False) (U1 :: * -> ) :+: (C1 (MetaCons "JumpFrom" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "JumpRegular" PrefixI False) (U1 :: -> *)))

data SolcContract Source #

Constructors

SolcContract
Fields _runtimeCodehash :: W256 _creationCodehash :: W256 _runtimeCode :: ByteString _creationCode :: ByteString _contractName :: Text _constructorInputs :: [(Text, AbiType)] _abiMap :: Map Word32 Method _eventMap :: Map W256 Event _runtimeSrcmap :: Seq SrcMap _creationSrcmap :: Seq SrcMap _contractAst :: Value

Instances

Eq SolcContract Source #
Instance details Defined in EVM.Solidity Methods (==) :: SolcContract -> SolcContract -> Bool # (/=) :: SolcContract -> SolcContract -> Bool #
Show SolcContract Source #
Instance details Defined in EVM.Solidity Methods showsPrec :: Int -> SolcContract -> ShowS # show :: SolcContract -> String # showList :: [SolcContract] -> ShowS #
Generic SolcContract Source #
Instance details Defined in EVM.Solidity Associated Types type Rep SolcContract :: * -> * # Methods from :: SolcContract -> Rep SolcContract x # to :: Rep SolcContract x -> SolcContract #
type Rep SolcContract Source #
Instance details Defined in EVM.Solidity type Rep SolcContract = D1 (MetaData "SolcContract" "EVM.Solidity" "hevm-0.24-3aA5LU32nyhTVeUOUjcXw" False) (C1 (MetaCons "SolcContract" PrefixI True) (((S1 (MetaSel (Just "_runtimeCodehash") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 W256) :: S1 (MetaSel (Just "_creationCodehash") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 W256)) :: (S1 (MetaSel (Just "_runtimeCode") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ByteString) :: (S1 (MetaSel (Just "_creationCode") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ByteString) :: S1 (MetaSel (Just "_contractName") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)))) :: ((S1 (MetaSel (Just "_constructorInputs") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [(Text, AbiType)]) :: (S1 (MetaSel (Just "_abiMap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Word32 Method)) :: S1 (MetaSel (Just "_eventMap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map W256 Event)))) :: (S1 (MetaSel (Just "_runtimeSrcmap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Seq SrcMap)) :: (S1 (MetaSel (Just "_creationSrcmap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Seq SrcMap)) :: S1 (MetaSel (Just "_contractAst") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Value))))))

data SourceCache Source #

Constructors

SourceCache
Fields _snippetCache :: Map (Int, Int) ByteString _sourceFiles :: Map Int (Text, ByteString) _sourceLines :: Map Int (Vector ByteString) _sourceAsts :: Map Text Value

Instances

Eq SourceCache Source #
Instance details Defined in EVM.Solidity Methods (==) :: SourceCache -> SourceCache -> Bool # (/=) :: SourceCache -> SourceCache -> Bool #
Show SourceCache Source #
Instance details Defined in EVM.Solidity Methods showsPrec :: Int -> SourceCache -> ShowS # show :: SourceCache -> String # showList :: [SourceCache] -> ShowS #
Generic SourceCache Source #
Instance details Defined in EVM.Solidity Associated Types type Rep SourceCache :: * -> * # Methods from :: SourceCache -> Rep SourceCache x # to :: Rep SourceCache x -> SourceCache #
Semigroup SourceCache Source #
Instance details Defined in EVM.Solidity Methods (<>) :: SourceCache -> SourceCache -> SourceCache # sconcat :: NonEmpty SourceCache -> SourceCache # stimes :: Integral b => b -> SourceCache -> SourceCache #
Monoid SourceCache Source #
Instance details Defined in EVM.Solidity Methods mempty :: SourceCache # mappend :: SourceCache -> SourceCache -> SourceCache # mconcat :: [SourceCache] -> SourceCache #
type Rep SourceCache Source #
Instance details Defined in EVM.Solidity type Rep SourceCache = D1 (MetaData "SourceCache" "EVM.Solidity" "hevm-0.24-3aA5LU32nyhTVeUOUjcXw" False) (C1 (MetaCons "SourceCache" PrefixI True) ((S1 (MetaSel (Just "_snippetCache") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map (Int, Int) ByteString)) :: S1 (MetaSel (Just "_sourceFiles") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Int (Text, ByteString)))) :: (S1 (MetaSel (Just "_sourceLines") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Int (Vector ByteString))) :*: S1 (MetaSel (Just "_sourceAsts") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Text Value)))))

data SrcMap Source #

Constructors

SM
Fields srcMapOffset :: Int srcMapLength :: Int srcMapFile :: Int srcMapJump :: JumpType

Instances

Eq SrcMap Source #
Instance details Defined in EVM.Solidity Methods (==) :: SrcMap -> SrcMap -> Bool # (/=) :: SrcMap -> SrcMap -> Bool #
Ord SrcMap Source #
Instance details Defined in EVM.Solidity Methods compare :: SrcMap -> SrcMap -> Ordering # (<) :: SrcMap -> SrcMap -> Bool # (<=) :: SrcMap -> SrcMap -> Bool # (>) :: SrcMap -> SrcMap -> Bool # (>=) :: SrcMap -> SrcMap -> Bool # max :: SrcMap -> SrcMap -> SrcMap # min :: SrcMap -> SrcMap -> SrcMap #
Show SrcMap Source #
Instance details Defined in EVM.Solidity Methods showsPrec :: Int -> SrcMap -> ShowS # show :: SrcMap -> String # showList :: [SrcMap] -> ShowS #
Generic SrcMap Source #
Instance details Defined in EVM.Solidity Associated Types type Rep SrcMap :: * -> * # Methods from :: SrcMap -> Rep SrcMap x # to :: Rep SrcMap x -> SrcMap #
type Rep SrcMap Source #
Instance details Defined in EVM.Solidity type Rep SrcMap = D1 (MetaData "SrcMap" "EVM.Solidity" "hevm-0.24-3aA5LU32nyhTVeUOUjcXw" False) (C1 (MetaCons "SM" PrefixI True) ((S1 (MetaSel (Just "srcMapOffset") SourceUnpack NoSourceStrictness DecidedStrict) (Rec0 Int) :: S1 (MetaSel (Just "srcMapLength") SourceUnpack NoSourceStrictness DecidedStrict) (Rec0 Int)) :: (S1 (MetaSel (Just "srcMapFile") SourceUnpack NoSourceStrictness DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "srcMapJump") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 JumpType))))

data CodeType Source #

Constructors

Creation
Runtime

Instances

Eq CodeType Source #
Instance details Defined in EVM.Solidity Methods (==) :: CodeType -> CodeType -> Bool # (/=) :: CodeType -> CodeType -> Bool #
Ord CodeType Source #
Instance details Defined in EVM.Solidity Methods compare :: CodeType -> CodeType -> Ordering # (<) :: CodeType -> CodeType -> Bool # (<=) :: CodeType -> CodeType -> Bool # (>) :: CodeType -> CodeType -> Bool # (>=) :: CodeType -> CodeType -> Bool # max :: CodeType -> CodeType -> CodeType # min :: CodeType -> CodeType -> CodeType #
Show CodeType Source #
Instance details Defined in EVM.Solidity Methods showsPrec :: Int -> CodeType -> ShowS # show :: CodeType -> String # showList :: [CodeType] -> ShowS #

data Method Source #

Constructors

Method
Fields _methodOutput :: Maybe (Text, AbiType) _methodInputs :: [(Text, AbiType)] _methodName :: Text _methodSignature :: Text

Instances

Eq Method Source #
Instance details Defined in EVM.Solidity Methods (==) :: Method -> Method -> Bool # (/=) :: Method -> Method -> Bool #
Ord Method Source #
Instance details Defined in EVM.Solidity Methods compare :: Method -> Method -> Ordering # (<) :: Method -> Method -> Bool # (<=) :: Method -> Method -> Bool # (>) :: Method -> Method -> Bool # (>=) :: Method -> Method -> Bool # max :: Method -> Method -> Method # min :: Method -> Method -> Method #
Show Method Source #
Instance details Defined in EVM.Solidity Methods showsPrec :: Int -> Method -> ShowS # show :: Method -> String # showList :: [Method] -> ShowS #
Generic Method Source #
Instance details Defined in EVM.Solidity Associated Types type Rep Method :: * -> * # Methods from :: Method -> Rep Method x # to :: Rep Method x -> Method #
type Rep Method Source #
Instance details Defined in EVM.Solidity type Rep Method = D1 (MetaData "Method" "EVM.Solidity" "hevm-0.24-3aA5LU32nyhTVeUOUjcXw" False) (C1 (MetaCons "Method" PrefixI True) ((S1 (MetaSel (Just "_methodOutput") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Text, AbiType))) :: S1 (MetaSel (Just "_methodInputs") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [(Text, AbiType)])) :: (S1 (MetaSel (Just "_methodName") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Just "_methodSignature") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text))))

methodName :: Lens' Method Text Source #

methodSignature :: Lens' Method Text Source #

methodInputs :: Lens' Method [(Text, AbiType)] Source #

methodOutput :: Lens' Method (Maybe (Text, AbiType)) Source #

abiMap :: Lens' SolcContract (Map Word32 Method) Source #

eventMap :: Lens' SolcContract (Map W256 Event) Source #

contractName :: Lens' SolcContract Text Source #

constructorInputs :: Lens' SolcContract [(Text, AbiType)] Source #

creationCode :: Lens' SolcContract ByteString Source #

makeSrcMaps :: Text -> Maybe (Seq SrcMap) Source #

readSolc :: FilePath -> IO (Maybe (Map Text SolcContract, SourceCache)) Source #

runtimeCode :: Lens' SolcContract ByteString Source #

snippetCache :: Lens' SourceCache (Map (Int, Int) ByteString) Source #

runtimeCodehash :: Lens' SolcContract W256 Source #

creationCodehash :: Lens' SolcContract W256 Source #

runtimeSrcmap :: Lens' SolcContract (Seq SrcMap) Source #

creationSrcmap :: Lens' SolcContract (Seq SrcMap) Source #

contractAst :: Lens' SolcContract Value Source #

sourceFiles :: Lens' SourceCache (Map Int (Text, ByteString)) Source #

sourceLines :: Lens' SourceCache (Map Int (Vector ByteString)) Source #

sourceAsts :: Lens' SourceCache (Map Text Value) Source #

stripBytecodeMetadata :: ByteString -> ByteString Source #

lineSubrange :: Vector ByteString -> (Int, Int) -> Int -> Maybe (Int, Int) Source #

astIdMap :: Foldable f => f Value -> Map Int Value Source #

Every node in the AST has an ID, and other nodes reference those IDs. This function recurses through the tree looking for objects with the "id" key and makes a big map from ID to value.

astSrcMap :: Map Int Value -> SrcMap -> Maybe Value Source #