lorentz-0.6.1: EDSL for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Lorentz.ContractRegistry

Description

This module contains various datatypes and functions which are common for contract registry packages (e.g. morley-ledgers).

Synopsis

Registry types

data ContractInfo Source #

Constructors

forall cp st.(NiceParameterFull cp, NiceStorage st) => ContractInfo 

Fields

  • ciContract :: Contract cp st
     
  • ciIsDocumented :: Bool
     
  • ciStorageParser :: Maybe (Parser st)

    Specifies how to parse initial storage value.

    Normally you pass some user data and call a function that constructs storage from that data.

    If storage is simple and can be easilly constructed manually, you can use Nothing.

  • ciStorageNotes :: Maybe (Notes (ToT st))

    Rewrite annotations in storage. We don't won't to uncoditionally override storage notes since after #20 we require notes to be non-empty, so we wrap them into Maybe.

newtype ContractRegistry Source #

Instances

Instances details
Buildable ContractRegistry Source # 
Instance details

Defined in Lorentz.ContractRegistry

(?::) :: Text -> a -> (Text, a) Source #

Things to do in main

runContractRegistry :: ContractRegistry -> CmdLnArgs -> IO () Source #

Run an action operating with ContractRegistry.

Building blocks