Lorentz.Discover

Utilities used for contracts discovery.

All the discovery logic resides in 'lorentz-discover' executable.

Documentation

class IsContract c where

Defined for values representing a contract.

Methods

toUntypedContract :: c -> Contract

Instances

IsContract Contract

Defined in Lorentz.Discover

Methods

toUntypedContract :: Contract -> Contract

(SingI cp, SingI st) => IsContract (Contract cp st)

Defined in Lorentz.Discover

Methods

toUntypedContract :: Contract cp st -> Contract0

(SingI (ToT cp), SingI (ToT st), NoOperation cp, NoOperation st, NoBigMap cp, CanHaveBigMap st) => IsContract (Contract cp st)

Defined in Lorentz.Discover

Methods

toUntypedContract :: Contract cp st -> Contract0

data ExportedContractInfo

Information about a contract required for contracts registry.

Constructors

ExportedContractInfo

Fields

• eciModuleName :: Text
• eciContractDecl :: ExportedContractDecl

Instances

Eq ExportedContractInfo

Defined in Lorentz.Discover

Methods

(==) :: ExportedContractInfo -> ExportedContractInfo -> Bool

(/=) :: ExportedContractInfo -> ExportedContractInfo -> Bool

Show ExportedContractInfo

Defined in Lorentz.Discover

Methods

showsPrec :: Int -> ExportedContractInfo -> ShowS

show :: ExportedContractInfo -> String

showList :: [ExportedContractInfo] -> ShowS

data ExportedContractDecl

Contract names, for Haskell and for humans.

Constructors

ExportedContractDecl

Fields

• ecdName :: Text

  Identifier of a contract, e.g. "auction".

• ecdVar :: Text

  Name of a contract as is appears in Haskell code.

Instances

Eq ExportedContractDecl

Defined in Lorentz.Discover

Methods

(==) :: ExportedContractDecl -> ExportedContractDecl -> Bool

(/=) :: ExportedContractDecl -> ExportedContractDecl -> Bool

Show ExportedContractDecl

Defined in Lorentz.Discover

Methods

showsPrec :: Int -> ExportedContractDecl -> ShowS

show :: ExportedContractDecl -> String

showList :: [ExportedContractDecl] -> ShowS

isHaskellModule :: FilePath -> Bool

haskellExportsParser :: Parsec Void Text [ExportedContractInfo]