Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
SolNode | |
|
decodeSoleNodes :: LByteString -> Either Text [SolNode] Source #
defSolNode :: SolNode Source #
findingsFor :: Contract -> [Text] Source #
statementsOf :: Contract -> [Statement] Source #
expressionsOf :: Contract -> [Expression] Source #
HContract | |
|
data HFunDefinition Source #
Contract | |
|
data FunDefinition Source #
data Expression Source #
s2sContracts :: UniqueMonad m => SolNode -> m [Contract] Source #