Lorentz.Doc

Documentation

doc :: DocItem di => di -> s :-> s

Put a document item.

docGroup :: DocItem di => (SubDoc -> di) -> (inp :-> out) -> inp :-> out

Group documentation built in the given piece of code into block dedicated to one thing, e.g. to one entrypoint.

Examples of doc items you can pass here: DName, DGeneralInfoSection.

dStorage :: TypeHasDoc store => DStorageType

contractGeneralDefault :: s :-> s

Inserts general information about the contract using the default format.

This includes git revision and some other information common for all contracts. Git revision is left unknown in the library code and is supposed to be updated in an executable using e.g. attachDocCommons.

cutLorentzNonDoc :: (inp :-> out) -> s :-> s

Leave only instructions related to documentation.

This function is useful when your method executes a lambda coming from outside, but you know its properties and want to propagate its documentation to your contract code.

Views

data DView

Renders to a view section.

Constructors

DView

Fields

• dvName :: ViewName
• dvSub :: SubDoc

Instances

DocItem DView

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DView :: DocItemPlacementKind

type DocItemReferenced DView :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DView -> DocItemRef (DocItemPlacement DView) (DocItemReferenced DView)

docItemToMarkdown :: HeaderLevel -> DView -> Markdown

docItemToToc :: HeaderLevel -> DView -> Markdown

docItemDependencies :: DView -> [SomeDocDefinitionItem]

docItemsOrder :: [DView] -> [DView]

type DocItemPlacement DView

Defined in Lorentz.Doc

type DocItemPlacement DView = 'DocItemInlined

type DocItemReferenced DView

Defined in Lorentz.Doc

type DocItemReferenced DView = 'True

data DViewArg

Renders to a line mentioning the view's argument.

Constructors

forall a.(NiceViewable a, TypeHasDoc a) => DViewArg (Proxy a)

Instances

DocItem DViewArg

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DViewArg :: DocItemPlacementKind

type DocItemReferenced DViewArg :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DViewArg -> DocItemRef (DocItemPlacement DViewArg) (DocItemReferenced DViewArg)

docItemToMarkdown :: HeaderLevel -> DViewArg -> Markdown

docItemToToc :: HeaderLevel -> DViewArg -> Markdown

docItemDependencies :: DViewArg -> [SomeDocDefinitionItem]

docItemsOrder :: [DViewArg] -> [DViewArg]

type DocItemPlacement DViewArg

Defined in Lorentz.Doc

type DocItemPlacement DViewArg = 'DocItemInlined

type DocItemReferenced DViewArg

Defined in Lorentz.Doc

type DocItemReferenced DViewArg = 'False

data DViewRet

Renders to a line mentioning the view's argument.

Constructors

forall a.(NiceViewable a, TypeHasDoc a) => DViewRet (Proxy a)

Instances

DocItem DViewRet

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DViewRet :: DocItemPlacementKind

type DocItemReferenced DViewRet :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DViewRet -> DocItemRef (DocItemPlacement DViewRet) (DocItemReferenced DViewRet)

docItemToMarkdown :: HeaderLevel -> DViewRet -> Markdown

docItemToToc :: HeaderLevel -> DViewRet -> Markdown

docItemDependencies :: DViewRet -> [SomeDocDefinitionItem]

docItemsOrder :: [DViewRet] -> [DViewRet]

type DocItemPlacement DViewRet

Defined in Lorentz.Doc

type DocItemPlacement DViewRet = 'DocItemInlined

type DocItemReferenced DViewRet

Defined in Lorentz.Doc

type DocItemReferenced DViewRet = 'False

data DViewDesc

Renders to documentation of view descriptor.

Constructors

forall vd.ViewsDescriptorHasDoc vd => DViewDesc (Proxy vd)

Instances

Eq DViewDesc

Defined in Lorentz.Doc

Methods

(==) :: DViewDesc -> DViewDesc -> Bool

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

Ord DViewDesc

Defined in Lorentz.Doc

Methods

compare :: DViewDesc -> DViewDesc -> Ordering

(<) :: DViewDesc -> DViewDesc -> Bool

(<=) :: DViewDesc -> DViewDesc -> Bool

(>) :: DViewDesc -> DViewDesc -> Bool

(>=) :: DViewDesc -> DViewDesc -> Bool

max :: DViewDesc -> DViewDesc -> DViewDesc

min :: DViewDesc -> DViewDesc -> DViewDesc

DocItem DViewDesc

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DViewDesc :: DocItemPlacementKind

type DocItemReferenced DViewDesc :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DViewDesc -> DocItemRef (DocItemPlacement DViewDesc) (DocItemReferenced DViewDesc)

docItemToMarkdown :: HeaderLevel -> DViewDesc -> Markdown

docItemToToc :: HeaderLevel -> DViewDesc -> Markdown

docItemDependencies :: DViewDesc -> [SomeDocDefinitionItem]

docItemsOrder :: [DViewDesc] -> [DViewDesc]

type DocItemPlacement DViewDesc

Defined in Lorentz.Doc

type DocItemPlacement DViewDesc = 'DocItemInDefinitions

type DocItemReferenced DViewDesc

Defined in Lorentz.Doc

type DocItemReferenced DViewDesc = 'True

class (Typeable vd, RenderViewsImpl (RevealViews vd)) => ViewsDescriptorHasDoc (vd :: Type) where

Provides documentation for views descriptor.

Note that views descriptors may describe views that do not belong to the current contract, e.g. TAddress may refer to an external contract provided by the user in which we want to call a view.

Minimal complete definition

Nothing

Methods

viewsDescriptorName :: Proxy vd -> Text

default viewsDescriptorName :: (Generic vd, KnownSymbol (GenericTypeName vd)) => Proxy vd -> Text

renderViewsDescriptorDoc :: Proxy vd -> Doc

Re-exports

type Markdown = Doc

data DocElem d

Constructors

DocElem

Fields

• deItem :: d
• deSub :: Maybe SubDoc

class (Typeable d, DOrd d) => DocItem d where

Minimal complete definition

docItemPos, docItemSectionName, docItemToMarkdown

Associated Types

type DocItemPlacement d :: DocItemPlacementKind

type DocItemPlacement d = 'DocItemInlined

type DocItemReferenced d :: DocItemReferencedKind

type DocItemReferenced d = 'False

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: d -> DocItemRef (DocItemPlacement d) (DocItemReferenced d)

docItemToMarkdown :: HeaderLevel -> d -> Markdown

docItemToToc :: HeaderLevel -> d -> Markdown

docItemDependencies :: d -> [SomeDocDefinitionItem]

docItemsOrder :: [d] -> [d]

Instances

DocItem DHashAlgorithm

Defined in Lorentz.Bytes

Associated Types

type DocItemPlacement DHashAlgorithm :: DocItemPlacementKind

type DocItemReferenced DHashAlgorithm :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DHashAlgorithm -> DocItemRef (DocItemPlacement DHashAlgorithm) (DocItemReferenced DHashAlgorithm)

docItemToMarkdown :: HeaderLevel -> DHashAlgorithm -> Markdown

docItemToToc :: HeaderLevel -> DHashAlgorithm -> Markdown

docItemDependencies :: DHashAlgorithm -> [SomeDocDefinitionItem]

docItemsOrder :: [DHashAlgorithm] -> [DHashAlgorithm]

DocItem DEntrypointExample

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DEntrypointExample :: DocItemPlacementKind

type DocItemReferenced DEntrypointExample :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DEntrypointExample -> DocItemRef (DocItemPlacement DEntrypointExample) (DocItemReferenced DEntrypointExample)

docItemToMarkdown :: HeaderLevel -> DEntrypointExample -> Markdown

docItemToToc :: HeaderLevel -> DEntrypointExample -> Markdown

docItemDependencies :: DEntrypointExample -> [SomeDocDefinitionItem]

docItemsOrder :: [DEntrypointExample] -> [DEntrypointExample]

DocItem DView

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DView :: DocItemPlacementKind

type DocItemReferenced DView :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DView -> DocItemRef (DocItemPlacement DView) (DocItemReferenced DView)

docItemToMarkdown :: HeaderLevel -> DView -> Markdown

docItemToToc :: HeaderLevel -> DView -> Markdown

docItemDependencies :: DView -> [SomeDocDefinitionItem]

docItemsOrder :: [DView] -> [DView]

DocItem DViewArg

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DViewArg :: DocItemPlacementKind

type DocItemReferenced DViewArg :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DViewArg -> DocItemRef (DocItemPlacement DViewArg) (DocItemReferenced DViewArg)

docItemToMarkdown :: HeaderLevel -> DViewArg -> Markdown

docItemToToc :: HeaderLevel -> DViewArg -> Markdown

docItemDependencies :: DViewArg -> [SomeDocDefinitionItem]

docItemsOrder :: [DViewArg] -> [DViewArg]

DocItem DViewDesc

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DViewDesc :: DocItemPlacementKind

type DocItemReferenced DViewDesc :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DViewDesc -> DocItemRef (DocItemPlacement DViewDesc) (DocItemReferenced DViewDesc)

docItemToMarkdown :: HeaderLevel -> DViewDesc -> Markdown

docItemToToc :: HeaderLevel -> DViewDesc -> Markdown

docItemDependencies :: DViewDesc -> [SomeDocDefinitionItem]

docItemsOrder :: [DViewDesc] -> [DViewDesc]

DocItem DViewRet

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DViewRet :: DocItemPlacementKind

type DocItemReferenced DViewRet :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DViewRet -> DocItemRef (DocItemPlacement DViewRet) (DocItemReferenced DViewRet)

docItemToMarkdown :: HeaderLevel -> DViewRet -> Markdown

docItemToToc :: HeaderLevel -> DViewRet -> Markdown

docItemDependencies :: DViewRet -> [SomeDocDefinitionItem]

docItemsOrder :: [DViewRet] -> [DViewRet]

DocItem DEntrypointArg

Defined in Lorentz.Entrypoints.Doc

Associated Types

type DocItemPlacement DEntrypointArg :: DocItemPlacementKind

type DocItemReferenced DEntrypointArg :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DEntrypointArg -> DocItemRef (DocItemPlacement DEntrypointArg) (DocItemReferenced DEntrypointArg)

docItemToMarkdown :: HeaderLevel -> DEntrypointArg -> Markdown

docItemToToc :: HeaderLevel -> DEntrypointArg -> Markdown

docItemDependencies :: DEntrypointArg -> [SomeDocDefinitionItem]

docItemsOrder :: [DEntrypointArg] -> [DEntrypointArg]

DocItem DEntrypointReference

Defined in Lorentz.Entrypoints.Doc

Associated Types

type DocItemPlacement DEntrypointReference :: DocItemPlacementKind

type DocItemReferenced DEntrypointReference :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DEntrypointReference -> DocItemRef (DocItemPlacement DEntrypointReference) (DocItemReferenced DEntrypointReference)

docItemToMarkdown :: HeaderLevel -> DEntrypointReference -> Markdown

docItemToToc :: HeaderLevel -> DEntrypointReference -> Markdown

docItemDependencies :: DEntrypointReference -> [SomeDocDefinitionItem]

docItemsOrder :: [DEntrypointReference] -> [DEntrypointReference]

DocItem DError

Defined in Lorentz.Errors

Associated Types

type DocItemPlacement DError :: DocItemPlacementKind

type DocItemReferenced DError :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DError -> DocItemRef (DocItemPlacement DError) (DocItemReferenced DError)

docItemToMarkdown :: HeaderLevel -> DError -> Markdown

docItemToToc :: HeaderLevel -> DError -> Markdown

docItemDependencies :: DError -> [SomeDocDefinitionItem]

docItemsOrder :: [DError] -> [DError]

DocItem DThrows

Defined in Lorentz.Errors

Associated Types

type DocItemPlacement DThrows :: DocItemPlacementKind

type DocItemReferenced DThrows :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DThrows -> DocItemRef (DocItemPlacement DThrows) (DocItemReferenced DThrows)

docItemToMarkdown :: HeaderLevel -> DThrows -> Markdown

docItemToToc :: HeaderLevel -> DThrows -> Markdown

docItemDependencies :: DThrows -> [SomeDocDefinitionItem]

docItemsOrder :: [DThrows] -> [DThrows]

DocItem DDescribeErrorTagMap

Defined in Lorentz.Errors.Numeric.Doc

Associated Types

type DocItemPlacement DDescribeErrorTagMap :: DocItemPlacementKind

type DocItemReferenced DDescribeErrorTagMap :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DDescribeErrorTagMap -> DocItemRef (DocItemPlacement DDescribeErrorTagMap) (DocItemReferenced DDescribeErrorTagMap)

docItemToMarkdown :: HeaderLevel -> DDescribeErrorTagMap -> Markdown

docItemToToc :: HeaderLevel -> DDescribeErrorTagMap -> Markdown

docItemDependencies :: DDescribeErrorTagMap -> [SomeDocDefinitionItem]

docItemsOrder :: [DDescribeErrorTagMap] -> [DDescribeErrorTagMap]

DocItem DAnchor

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DAnchor :: DocItemPlacementKind

type DocItemReferenced DAnchor :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DAnchor -> DocItemRef (DocItemPlacement DAnchor) (DocItemReferenced DAnchor)

docItemToMarkdown :: HeaderLevel -> DAnchor -> Markdown

docItemToToc :: HeaderLevel -> DAnchor -> Markdown

docItemDependencies :: DAnchor -> [SomeDocDefinitionItem]

docItemsOrder :: [DAnchor] -> [DAnchor]

DocItem DComment

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DComment :: DocItemPlacementKind

type DocItemReferenced DComment :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DComment -> DocItemRef (DocItemPlacement DComment) (DocItemReferenced DComment)

docItemToMarkdown :: HeaderLevel -> DComment -> Markdown

docItemToToc :: HeaderLevel -> DComment -> Markdown

docItemDependencies :: DComment -> [SomeDocDefinitionItem]

docItemsOrder :: [DComment] -> [DComment]

DocItem DConversionInfo

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DConversionInfo :: DocItemPlacementKind

type DocItemReferenced DConversionInfo :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DConversionInfo -> DocItemRef (DocItemPlacement DConversionInfo) (DocItemReferenced DConversionInfo)

docItemToMarkdown :: HeaderLevel -> DConversionInfo -> Markdown

docItemToToc :: HeaderLevel -> DConversionInfo -> Markdown

docItemDependencies :: DConversionInfo -> [SomeDocDefinitionItem]

docItemsOrder :: [DConversionInfo] -> [DConversionInfo]

DocItem DDescription

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DDescription :: DocItemPlacementKind

type DocItemReferenced DDescription :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DDescription -> DocItemRef (DocItemPlacement DDescription) (DocItemReferenced DDescription)

docItemToMarkdown :: HeaderLevel -> DDescription -> Markdown

docItemToToc :: HeaderLevel -> DDescription -> Markdown

docItemDependencies :: DDescription -> [SomeDocDefinitionItem]

docItemsOrder :: [DDescription] -> [DDescription]

DocItem DGeneralInfoSection

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DGeneralInfoSection :: DocItemPlacementKind

type DocItemReferenced DGeneralInfoSection :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DGeneralInfoSection -> DocItemRef (DocItemPlacement DGeneralInfoSection) (DocItemReferenced DGeneralInfoSection)

docItemToMarkdown :: HeaderLevel -> DGeneralInfoSection -> Markdown

docItemToToc :: HeaderLevel -> DGeneralInfoSection -> Markdown

docItemDependencies :: DGeneralInfoSection -> [SomeDocDefinitionItem]

docItemsOrder :: [DGeneralInfoSection] -> [DGeneralInfoSection]

DocItem DGitRevision

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DGitRevision :: DocItemPlacementKind

type DocItemReferenced DGitRevision :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DGitRevision -> DocItemRef (DocItemPlacement DGitRevision) (DocItemReferenced DGitRevision)

docItemToMarkdown :: HeaderLevel -> DGitRevision -> Markdown

docItemToToc :: HeaderLevel -> DGitRevision -> Markdown

docItemDependencies :: DGitRevision -> [SomeDocDefinitionItem]

docItemsOrder :: [DGitRevision] -> [DGitRevision]

DocItem DName

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DName :: DocItemPlacementKind

type DocItemReferenced DName :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DName -> DocItemRef (DocItemPlacement DName) (DocItemReferenced DName)

docItemToMarkdown :: HeaderLevel -> DName -> Markdown

docItemToToc :: HeaderLevel -> DName -> Markdown

docItemDependencies :: DName -> [SomeDocDefinitionItem]

docItemsOrder :: [DName] -> [DName]

DocItem DToc

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DToc :: DocItemPlacementKind

type DocItemReferenced DToc :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DToc -> DocItemRef (DocItemPlacement DToc) (DocItemReferenced DToc)

docItemToMarkdown :: HeaderLevel -> DToc -> Markdown

docItemToToc :: HeaderLevel -> DToc -> Markdown

docItemDependencies :: DToc -> [SomeDocDefinitionItem]

docItemsOrder :: [DToc] -> [DToc]

DocItem DStorageType

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type DocItemPlacement DStorageType :: DocItemPlacementKind

type DocItemReferenced DStorageType :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DStorageType -> DocItemRef (DocItemPlacement DStorageType) (DocItemReferenced DStorageType)

docItemToMarkdown :: HeaderLevel -> DStorageType -> Markdown

docItemToToc :: HeaderLevel -> DStorageType -> Markdown

docItemDependencies :: DStorageType -> [SomeDocDefinitionItem]

docItemsOrder :: [DStorageType] -> [DStorageType]

DocItem DType

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type DocItemPlacement DType :: DocItemPlacementKind

type DocItemReferenced DType :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DType -> DocItemRef (DocItemPlacement DType) (DocItemReferenced DType)

docItemToMarkdown :: HeaderLevel -> DType -> Markdown

docItemToToc :: HeaderLevel -> DType -> Markdown

docItemDependencies :: DType -> [SomeDocDefinitionItem]

docItemsOrder :: [DType] -> [DType]

EntrypointKindHasDoc ep => DocItem (DEntrypoint ep)

Defined in Lorentz.Entrypoints.Doc

Associated Types

type DocItemPlacement (DEntrypoint ep) :: DocItemPlacementKind

type DocItemReferenced (DEntrypoint ep) :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DEntrypoint ep -> DocItemRef (DocItemPlacement (DEntrypoint ep)) (DocItemReferenced (DEntrypoint ep))

docItemToMarkdown :: HeaderLevel -> DEntrypoint ep -> Markdown

docItemToToc :: HeaderLevel -> DEntrypoint ep -> Markdown

docItemDependencies :: DEntrypoint ep -> [SomeDocDefinitionItem]

docItemsOrder :: [DEntrypoint ep] -> [DEntrypoint ep]

docItemPosition :: DocItem d => DocItemPos

newtype DocItemId

Constructors

DocItemId Text

Instances

Show DocItemId

Defined in Morley.Michelson.Doc

Methods

showsPrec :: Int -> DocItemId -> ShowS

show :: DocItemId -> String

showList :: [DocItemId] -> ShowS

Eq DocItemId

Defined in Morley.Michelson.Doc

Methods

(==) :: DocItemId -> DocItemId -> Bool

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

Ord DocItemId

Defined in Morley.Michelson.Doc

Methods

compare :: DocItemId -> DocItemId -> Ordering

(<) :: DocItemId -> DocItemId -> Bool

(<=) :: DocItemId -> DocItemId -> Bool

(>) :: DocItemId -> DocItemId -> Bool

(>=) :: DocItemId -> DocItemId -> Bool

max :: DocItemId -> DocItemId -> DocItemId

min :: DocItemId -> DocItemId -> DocItemId

ToAnchor DocItemId

Defined in Morley.Michelson.Doc

Methods

toAnchor :: DocItemId -> Anchor

data DocItemPlacementKind

Constructors

DocItemInlined

DocItemInDefinitions

newtype DocItemPos

Constructors

DocItemPos (Natural, Text)

Instances

Show DocItemPos

Defined in Morley.Michelson.Doc

Methods

showsPrec :: Int -> DocItemPos -> ShowS

show :: DocItemPos -> String

showList :: [DocItemPos] -> ShowS

Eq DocItemPos

Defined in Morley.Michelson.Doc

Methods

(==) :: DocItemPos -> DocItemPos -> Bool

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

Ord DocItemPos

Defined in Morley.Michelson.Doc

Methods

compare :: DocItemPos -> DocItemPos -> Ordering

(<) :: DocItemPos -> DocItemPos -> Bool

(<=) :: DocItemPos -> DocItemPos -> Bool

(>) :: DocItemPos -> DocItemPos -> Bool

(>=) :: DocItemPos -> DocItemPos -> Bool

max :: DocItemPos -> DocItemPos -> DocItemPos

min :: DocItemPos -> DocItemPos -> DocItemPos

Buildable DocItemPos

Defined in Morley.Michelson.Doc

Methods

build :: DocItemPos -> Doc

buildList :: [DocItemPos] -> Doc

data DocItemRef (p :: DocItemPlacementKind) (r :: DocItemReferencedKind) where

Constructors

DocItemRef :: DocItemId -> DocItemRef 'DocItemInDefinitions 'True

DocItemRefInlined :: DocItemId -> DocItemRef 'DocItemInlined 'True

DocItemNoRef :: DocItemRef 'DocItemInlined 'False

Instances

ToAnchor (DocItemRef d 'True)

Defined in Morley.Michelson.Doc

Methods

toAnchor :: DocItemRef d 'True -> Anchor

data DocSection

Constructors

DocItem d => DocSection (NonEmpty $ DocElem d)

data DocSectionNameStyle

Constructors

DocSectionNameBig

DocSectionNameSmall

data SomeDocItem where

Constructors

SomeDocItem :: forall d. DocItem d => d -> SomeDocItem

Instances

Show DocGrouping

Defined in Morley.Michelson.Doc

Methods

showsPrec :: Int -> DocGrouping -> ShowS

show :: DocGrouping -> String

showList :: [DocGrouping] -> ShowS

Show SomeDocItem

Defined in Morley.Michelson.Doc

Methods

showsPrec :: Int -> SomeDocItem -> ShowS

show :: SomeDocItem -> String

showList :: [SomeDocItem] -> ShowS

NFData SomeDocItem

Defined in Morley.Michelson.Doc

Methods

rnf :: SomeDocItem -> ()

data SomeDocDefinitionItem where

Constructors

SomeDocDefinitionItem :: forall d. (DocItem d, DocItemPlacement d ~ 'DocItemInDefinitions) => d -> SomeDocDefinitionItem

Instances

Eq SomeDocDefinitionItem

Defined in Morley.Michelson.Doc

Methods

(==) :: SomeDocDefinitionItem -> SomeDocDefinitionItem -> Bool

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

Ord SomeDocDefinitionItem

Defined in Morley.Michelson.Doc

Methods

compare :: SomeDocDefinitionItem -> SomeDocDefinitionItem -> Ordering

(<) :: SomeDocDefinitionItem -> SomeDocDefinitionItem -> Bool

(<=) :: SomeDocDefinitionItem -> SomeDocDefinitionItem -> Bool

(>) :: SomeDocDefinitionItem -> SomeDocDefinitionItem -> Bool

(>=) :: SomeDocDefinitionItem -> SomeDocDefinitionItem -> Bool

max :: SomeDocDefinitionItem -> SomeDocDefinitionItem -> SomeDocDefinitionItem

min :: SomeDocDefinitionItem -> SomeDocDefinitionItem -> SomeDocDefinitionItem

newtype SubDoc

Constructors

SubDoc DocBlock

Instances

Show DocGrouping

Defined in Morley.Michelson.Doc

Methods

showsPrec :: Int -> DocGrouping -> ShowS

show :: DocGrouping -> String

showList :: [DocGrouping] -> ShowS

di ~ DName => IsString (SubDoc -> di)

Defined in Morley.Michelson.Doc

Methods

fromString :: String -> SubDoc -> di

type DocGrouping = SubDoc -> SomeDocItem

data ContractDoc

Constructors

ContractDoc

Fields

• cdContents :: DocBlock
• cdDefinitions :: DocBlock
• cdDefinitionsSet :: Set SomeDocDefinitionItem
• cdDefinitionIds :: Set DocItemId

Instances

Monoid ContractDoc

Defined in Morley.Michelson.Doc

Methods

mempty :: ContractDoc

mappend :: ContractDoc -> ContractDoc -> ContractDoc

mconcat :: [ContractDoc] -> ContractDoc

Semigroup ContractDoc

Defined in Morley.Michelson.Doc

Methods

(<>) :: ContractDoc -> ContractDoc -> ContractDoc

sconcat :: NonEmpty ContractDoc -> ContractDoc

stimes :: Integral b => b -> ContractDoc -> ContractDoc

newtype DGeneralInfoSection

Constructors

DGeneralInfoSection SubDoc

Instances

DocItem DGeneralInfoSection

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DGeneralInfoSection :: DocItemPlacementKind

type DocItemReferenced DGeneralInfoSection :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DGeneralInfoSection -> DocItemRef (DocItemPlacement DGeneralInfoSection) (DocItemReferenced DGeneralInfoSection)

docItemToMarkdown :: HeaderLevel -> DGeneralInfoSection -> Markdown

docItemToToc :: HeaderLevel -> DGeneralInfoSection -> Markdown

docItemDependencies :: DGeneralInfoSection -> [SomeDocDefinitionItem]

docItemsOrder :: [DGeneralInfoSection] -> [DGeneralInfoSection]

type DocItemPlacement DGeneralInfoSection

Defined in Morley.Michelson.Doc

type DocItemPlacement DGeneralInfoSection = 'DocItemInlined

type DocItemReferenced DGeneralInfoSection

Defined in Morley.Michelson.Doc

type DocItemReferenced DGeneralInfoSection = 'False

data DName

Constructors

DName Text SubDoc

Instances

DocItem DName

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DName :: DocItemPlacementKind

type DocItemReferenced DName :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DName -> DocItemRef (DocItemPlacement DName) (DocItemReferenced DName)

docItemToMarkdown :: HeaderLevel -> DName -> Markdown

docItemToToc :: HeaderLevel -> DName -> Markdown

docItemDependencies :: DName -> [SomeDocDefinitionItem]

docItemsOrder :: [DName] -> [DName]

type DocItemPlacement DName

Defined in Morley.Michelson.Doc

type DocItemPlacement DName = 'DocItemInlined

type DocItemReferenced DName

Defined in Morley.Michelson.Doc

type DocItemReferenced DName = 'False

data DDescription

Constructors

DDescription Markdown

Instances

DocItem DDescription

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DDescription :: DocItemPlacementKind

type DocItemReferenced DDescription :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DDescription -> DocItemRef (DocItemPlacement DDescription) (DocItemReferenced DDescription)

docItemToMarkdown :: HeaderLevel -> DDescription -> Markdown

docItemToToc :: HeaderLevel -> DDescription -> Markdown

docItemDependencies :: DDescription -> [SomeDocDefinitionItem]

docItemsOrder :: [DDescription] -> [DDescription]

type DocItemPlacement DDescription

Defined in Morley.Michelson.Doc

type DocItemPlacement DDescription = 'DocItemInlined

type DocItemReferenced DDescription

Defined in Morley.Michelson.Doc

type DocItemReferenced DDescription = 'False

data DEntrypointExample

Modify the example value of an entrypoint

Constructors

forall t.ParameterScope t => DEntrypointExample (Value t)

Instances

DocItem DEntrypointExample

Defined in Lorentz.Doc

Associated Types

type DocItemPlacement DEntrypointExample :: DocItemPlacementKind

type DocItemReferenced DEntrypointExample :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DEntrypointExample -> DocItemRef (DocItemPlacement DEntrypointExample) (DocItemReferenced DEntrypointExample)

docItemToMarkdown :: HeaderLevel -> DEntrypointExample -> Markdown

docItemToToc :: HeaderLevel -> DEntrypointExample -> Markdown

docItemDependencies :: DEntrypointExample -> [SomeDocDefinitionItem]

docItemsOrder :: [DEntrypointExample] -> [DEntrypointExample]

type DocItemPlacement DEntrypointExample

Defined in Lorentz.Doc

type DocItemPlacement DEntrypointExample = 'DocItemInlined

type DocItemReferenced DEntrypointExample

Defined in Lorentz.Doc

type DocItemReferenced DEntrypointExample = 'False

mkDEntrypointExample :: forall a. NiceParameter a => a -> DEntrypointExample

data DGitRevision

Constructors

DGitRevisionKnown DGitRevisionInfo

DGitRevisionUnknown

Instances

DocItem DGitRevision

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DGitRevision :: DocItemPlacementKind

type DocItemReferenced DGitRevision :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DGitRevision -> DocItemRef (DocItemPlacement DGitRevision) (DocItemReferenced DGitRevision)

docItemToMarkdown :: HeaderLevel -> DGitRevision -> Markdown

docItemToToc :: HeaderLevel -> DGitRevision -> Markdown

docItemDependencies :: DGitRevision -> [SomeDocDefinitionItem]

docItemsOrder :: [DGitRevision] -> [DGitRevision]

type DocItemPlacement DGitRevision

Defined in Morley.Michelson.Doc

type DocItemPlacement DGitRevision = 'DocItemInlined

type DocItemReferenced DGitRevision

Defined in Morley.Michelson.Doc

type DocItemReferenced DGitRevision = 'False

newtype GitRepoSettings

Constructors

GitRepoSettings

Fields

• grsMkGitRevision :: Text -> Text

mkDGitRevision :: ExpQ

morleyRepoSettings :: GitRepoSettings

data DComment

Constructors

DComment Text

Instances

DocItem DComment

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DComment :: DocItemPlacementKind

type DocItemReferenced DComment :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DComment -> DocItemRef (DocItemPlacement DComment) (DocItemReferenced DComment)

docItemToMarkdown :: HeaderLevel -> DComment -> Markdown

docItemToToc :: HeaderLevel -> DComment -> Markdown

docItemDependencies :: DComment -> [SomeDocDefinitionItem]

docItemsOrder :: [DComment] -> [DComment]

type DocItemPlacement DComment

Defined in Morley.Michelson.Doc

type DocItemPlacement DComment = 'DocItemInlined

type DocItemReferenced DComment

Defined in Morley.Michelson.Doc

type DocItemReferenced DComment = 'False

data DAnchor

Constructors

DAnchor Anchor

Instances

DocItem DAnchor

Defined in Morley.Michelson.Doc

Associated Types

type DocItemPlacement DAnchor :: DocItemPlacementKind

type DocItemReferenced DAnchor :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DAnchor -> DocItemRef (DocItemPlacement DAnchor) (DocItemReferenced DAnchor)

docItemToMarkdown :: HeaderLevel -> DAnchor -> Markdown

docItemToToc :: HeaderLevel -> DAnchor -> Markdown

docItemDependencies :: DAnchor -> [SomeDocDefinitionItem]

docItemsOrder :: [DAnchor] -> [DAnchor]

type DocItemPlacement DAnchor

Defined in Morley.Michelson.Doc

type DocItemPlacement DAnchor = 'DocItemInlined

type DocItemReferenced DAnchor

Defined in Morley.Michelson.Doc

type DocItemReferenced DAnchor = 'False

data DType where

Constructors

DType :: forall a. TypeHasDoc a => Proxy a -> DType

Instances

Eq DType

Defined in Morley.Michelson.Typed.Haskell.Doc

Methods

(==) :: DType -> DType -> Bool

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

Ord DType

Defined in Morley.Michelson.Typed.Haskell.Doc

Methods

compare :: DType -> DType -> Ordering

(<) :: DType -> DType -> Bool

(<=) :: DType -> DType -> Bool

(>) :: DType -> DType -> Bool

(>=) :: DType -> DType -> Bool

max :: DType -> DType -> DType

min :: DType -> DType -> DType

DocItem DType

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type DocItemPlacement DType :: DocItemPlacementKind

type DocItemReferenced DType :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DType -> DocItemRef (DocItemPlacement DType) (DocItemReferenced DType)

docItemToMarkdown :: HeaderLevel -> DType -> Markdown

docItemToToc :: HeaderLevel -> DType -> Markdown

docItemDependencies :: DType -> [SomeDocDefinitionItem]

docItemsOrder :: [DType] -> [DType]

Buildable DType

Defined in Morley.Michelson.Typed.Haskell.Doc

Methods

build :: DType -> Doc

buildList :: [DType] -> Doc

type DocItemPlacement DType

Defined in Morley.Michelson.Typed.Haskell.Doc

type DocItemPlacement DType = 'DocItemInDefinitions

type DocItemReferenced DType

Defined in Morley.Michelson.Typed.Haskell.Doc

type DocItemReferenced DType = 'True

dTypeDep :: TypeHasDoc t => SomeDocDefinitionItem

docDefinitionRef :: (DocItem d, DocItemPlacement d ~ 'DocItemInDefinitions) => Markdown -> d -> Markdown

contractDocToMarkdown :: ContractDoc -> LText

subDocToMarkdown :: HeaderLevel -> SubDoc -> Markdown

docItemSectionRef :: DocItem di => Maybe Markdown

class ContainsDoc a where

Methods

buildDocUnfinalized :: a -> ContractDoc

Instances

ContainsDoc (i :-> o)

Defined in Lorentz.Doc

Methods

buildDocUnfinalized :: (i :-> o) -> ContractDoc

ContainsDoc (ContractCode i o)

Defined in Lorentz.Doc

Methods

buildDocUnfinalized :: ContractCode i o -> ContractDoc

ContainsDoc (Contract cp st vd)

Defined in Lorentz.Doc

Methods

buildDocUnfinalized :: Contract cp st vd -> ContractDoc

ContainsDoc (ContractData cp st vd)

Defined in Lorentz.Run

Methods

buildDocUnfinalized :: ContractData cp st vd -> ContractDoc

class ContainsDoc a => ContainsUpdateableDoc a where

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> a -> a

Instances

ContainsUpdateableDoc (i :-> o)

Defined in Lorentz.Doc

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> (i :-> o) -> i :-> o

ContainsUpdateableDoc (ContractCode i o)

Defined in Lorentz.Doc

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> ContractCode i o -> ContractCode i o

ContainsUpdateableDoc (Contract cp st vd)

Defined in Lorentz.Doc

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> Contract cp st vd -> Contract cp st vd

ContainsUpdateableDoc (ContractData cp st vd)

Defined in Lorentz.Run

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> ContractData cp st vd -> ContractData cp st vd

data WithFinalizedDoc a

Instances

Applicative WithFinalizedDoc

Defined in Morley.Michelson.Doc

Methods

pure :: a -> WithFinalizedDoc a

(<*>) :: WithFinalizedDoc (a -> b) -> WithFinalizedDoc a -> WithFinalizedDoc b

liftA2 :: (a -> b -> c) -> WithFinalizedDoc a -> WithFinalizedDoc b -> WithFinalizedDoc c

(*>) :: WithFinalizedDoc a -> WithFinalizedDoc b -> WithFinalizedDoc b

(<*) :: WithFinalizedDoc a -> WithFinalizedDoc b -> WithFinalizedDoc a

Functor WithFinalizedDoc

Defined in Morley.Michelson.Doc

Methods

fmap :: (a -> b) -> WithFinalizedDoc a -> WithFinalizedDoc b

(<$) :: a -> WithFinalizedDoc b -> WithFinalizedDoc a

Monad WithFinalizedDoc

Defined in Morley.Michelson.Doc

Methods

(>>=) :: WithFinalizedDoc a -> (a -> WithFinalizedDoc b) -> WithFinalizedDoc b

(>>) :: WithFinalizedDoc a -> WithFinalizedDoc b -> WithFinalizedDoc b

return :: a -> WithFinalizedDoc a

finalizedAsIs :: a -> WithFinalizedDoc a

buildDoc :: ContainsDoc a => WithFinalizedDoc a -> ContractDoc

buildMarkdownDoc :: ContainsDoc a => WithFinalizedDoc a -> LText

modifyDoc :: (ContainsUpdateableDoc a, DocItem i1, DocItem i2) => (i1 -> Maybe i2) -> a -> a

attachDocCommons :: ContainsUpdateableDoc a => DGitRevision -> a -> WithFinalizedDoc a

class (Typeable a, SingI (TypeDocFieldDescriptions a), FieldDescriptionsValid (TypeDocFieldDescriptions a) a) => TypeHasDoc a where

Minimal complete definition

typeDocMdDescription

Associated Types

type TypeDocFieldDescriptions a :: FieldDescriptions

type TypeDocFieldDescriptions a = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]

Methods

typeDocName :: Proxy a -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy a -> WithinParens -> Markdown

typeDocDependencies :: Proxy a -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep a

typeDocMichelsonRep :: TypeDocMichelsonRep a

Instances

TypeHasDoc ByteString

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions ByteString :: FieldDescriptions

Methods

typeDocName :: Proxy ByteString -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy ByteString -> WithinParens -> Markdown

typeDocDependencies :: Proxy ByteString -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep ByteString

typeDocMichelsonRep :: TypeDocMichelsonRep ByteString

TypeHasDoc Never

Defined in Lorentz.Value

Associated Types

type TypeDocFieldDescriptions Never :: FieldDescriptions

Methods

typeDocName :: Proxy Never -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Never -> WithinParens -> Markdown

typeDocDependencies :: Proxy Never -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Never

typeDocMichelsonRep :: TypeDocMichelsonRep Never

TypeHasDoc OpenChest

Defined in Lorentz.Value

Associated Types

type TypeDocFieldDescriptions OpenChest :: FieldDescriptions

Methods

typeDocName :: Proxy OpenChest -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy OpenChest -> WithinParens -> Markdown

typeDocDependencies :: Proxy OpenChest -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep OpenChest

typeDocMichelsonRep :: TypeDocMichelsonRep OpenChest

TypeHasDoc MText

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions MText :: FieldDescriptions

Methods

typeDocName :: Proxy MText -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy MText -> WithinParens -> Markdown

typeDocDependencies :: Proxy MText -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep MText

typeDocMichelsonRep :: TypeDocMichelsonRep MText

TypeHasDoc Operation

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Operation :: FieldDescriptions

Methods

typeDocName :: Proxy Operation -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Operation -> WithinParens -> Markdown

typeDocDependencies :: Proxy Operation -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Operation

typeDocMichelsonRep :: TypeDocMichelsonRep Operation

TypeHasDoc EpAddress

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions EpAddress :: FieldDescriptions

Methods

typeDocName :: Proxy EpAddress -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy EpAddress -> WithinParens -> Markdown

typeDocDependencies :: Proxy EpAddress -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep EpAddress

typeDocMichelsonRep :: TypeDocMichelsonRep EpAddress

TypeHasDoc Address

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Address :: FieldDescriptions

Methods

typeDocName :: Proxy Address -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Address -> WithinParens -> Markdown

typeDocDependencies :: Proxy Address -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Address

typeDocMichelsonRep :: TypeDocMichelsonRep Address

TypeHasDoc ChainId

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions ChainId :: FieldDescriptions

Methods

typeDocName :: Proxy ChainId -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy ChainId -> WithinParens -> Markdown

typeDocDependencies :: Proxy ChainId -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep ChainId

typeDocMichelsonRep :: TypeDocMichelsonRep ChainId

TypeHasDoc Mutez

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Mutez :: FieldDescriptions

Methods

typeDocName :: Proxy Mutez -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Mutez -> WithinParens -> Markdown

typeDocDependencies :: Proxy Mutez -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Mutez

typeDocMichelsonRep :: TypeDocMichelsonRep Mutez

TypeHasDoc Timestamp

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Timestamp :: FieldDescriptions

Methods

typeDocName :: Proxy Timestamp -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Timestamp -> WithinParens -> Markdown

typeDocDependencies :: Proxy Timestamp -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Timestamp

typeDocMichelsonRep :: TypeDocMichelsonRep Timestamp

TypeHasDoc KeyHash

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions KeyHash :: FieldDescriptions

Methods

typeDocName :: Proxy KeyHash -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy KeyHash -> WithinParens -> Markdown

typeDocDependencies :: Proxy KeyHash -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep KeyHash

typeDocMichelsonRep :: TypeDocMichelsonRep KeyHash

TypeHasDoc PublicKey

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions PublicKey :: FieldDescriptions

Methods

typeDocName :: Proxy PublicKey -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy PublicKey -> WithinParens -> Markdown

typeDocDependencies :: Proxy PublicKey -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep PublicKey

typeDocMichelsonRep :: TypeDocMichelsonRep PublicKey

TypeHasDoc Signature

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Signature :: FieldDescriptions

Methods

typeDocName :: Proxy Signature -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Signature -> WithinParens -> Markdown

typeDocDependencies :: Proxy Signature -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Signature

typeDocMichelsonRep :: TypeDocMichelsonRep Signature

TypeHasDoc Chest

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Chest :: FieldDescriptions

Methods

typeDocName :: Proxy Chest -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Chest -> WithinParens -> Markdown

typeDocDependencies :: Proxy Chest -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Chest

typeDocMichelsonRep :: TypeDocMichelsonRep Chest

TypeHasDoc ChestKey

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions ChestKey :: FieldDescriptions

Methods

typeDocName :: Proxy ChestKey -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy ChestKey -> WithinParens -> Markdown

typeDocDependencies :: Proxy ChestKey -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep ChestKey

typeDocMichelsonRep :: TypeDocMichelsonRep ChestKey

TypeHasDoc Integer

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Integer :: FieldDescriptions

Methods

typeDocName :: Proxy Integer -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Integer -> WithinParens -> Markdown

typeDocDependencies :: Proxy Integer -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Integer

typeDocMichelsonRep :: TypeDocMichelsonRep Integer

TypeHasDoc Natural

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Natural :: FieldDescriptions

Methods

typeDocName :: Proxy Natural -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Natural -> WithinParens -> Markdown

typeDocDependencies :: Proxy Natural -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Natural

typeDocMichelsonRep :: TypeDocMichelsonRep Natural

TypeHasDoc ()

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions () :: FieldDescriptions

Methods

typeDocName :: Proxy () -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy () -> WithinParens -> Markdown

typeDocDependencies :: Proxy () -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep ()

typeDocMichelsonRep :: TypeDocMichelsonRep ()

TypeHasDoc Bool

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Bool :: FieldDescriptions

Methods

typeDocName :: Proxy Bool -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Bool -> WithinParens -> Markdown

typeDocDependencies :: Proxy Bool -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Bool

typeDocMichelsonRep :: TypeDocMichelsonRep Bool

PolyCTypeHasDocC '[a] => TypeHasDoc (Set a)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (Set a) :: FieldDescriptions

Methods

typeDocName :: Proxy (Set a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Set a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Set a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Set a)

typeDocMichelsonRep :: TypeDocMichelsonRep (Set a)

TypeHasDoc p => TypeHasDoc (FutureContract p)

Defined in Lorentz.Doc

Associated Types

type TypeDocFieldDescriptions (FutureContract p) :: FieldDescriptions

Methods

typeDocName :: Proxy (FutureContract p) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (FutureContract p) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (FutureContract p) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (FutureContract p)

typeDocMichelsonRep :: TypeDocMichelsonRep (FutureContract p)

TypeHasDoc a => TypeHasDoc (ChestT a)

Defined in Lorentz.Bytes

Associated Types

type TypeDocFieldDescriptions (ChestT a) :: FieldDescriptions

Methods

typeDocName :: Proxy (ChestT a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (ChestT a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (ChestT a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (ChestT a)

typeDocMichelsonRep :: TypeDocMichelsonRep (ChestT a)

TypeHasDoc a => TypeHasDoc (OpenChestT a)

Defined in Lorentz.Bytes

Associated Types

type TypeDocFieldDescriptions (OpenChestT a) :: FieldDescriptions

Methods

typeDocName :: Proxy (OpenChestT a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (OpenChestT a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (OpenChestT a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (OpenChestT a)

typeDocMichelsonRep :: TypeDocMichelsonRep (OpenChestT a)

TypeHasDoc a => TypeHasDoc (Packed a)

Defined in Lorentz.Bytes

Associated Types

type TypeDocFieldDescriptions (Packed a) :: FieldDescriptions

Methods

typeDocName :: Proxy (Packed a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Packed a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Packed a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Packed a)

typeDocMichelsonRep :: TypeDocMichelsonRep (Packed a)

TypeHasDoc a => TypeHasDoc (TSignature a)

Defined in Lorentz.Bytes

Associated Types

type TypeDocFieldDescriptions (TSignature a) :: FieldDescriptions

Methods

typeDocName :: Proxy (TSignature a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (TSignature a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (TSignature a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (TSignature a)

typeDocMichelsonRep :: TypeDocMichelsonRep (TSignature a)

(TypeHasDoc r, IsError (VoidResult r)) => TypeHasDoc (VoidResult r)

Defined in Lorentz.Macro

Associated Types

type TypeDocFieldDescriptions (VoidResult r) :: FieldDescriptions

Methods

typeDocName :: Proxy (VoidResult r) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (VoidResult r) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (VoidResult r) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (VoidResult r)

typeDocMichelsonRep :: TypeDocMichelsonRep (VoidResult r)

TypeHasDoc a => TypeHasDoc (Range a)

Defined in Lorentz.Range

Associated Types

type TypeDocFieldDescriptions (Range a) :: FieldDescriptions

Methods

typeDocName :: Proxy (Range a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Range a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Range a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Range a)

typeDocMichelsonRep :: TypeDocMichelsonRep (Range a)

TypeHasDoc a => TypeHasDoc (RangeEE a)

Defined in Lorentz.Range

Associated Types

type TypeDocFieldDescriptions (RangeEE a) :: FieldDescriptions

Methods

typeDocName :: Proxy (RangeEE a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (RangeEE a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (RangeEE a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (RangeEE a)

typeDocMichelsonRep :: TypeDocMichelsonRep (RangeEE a)

TypeHasDoc a => TypeHasDoc (RangeEI a)

Defined in Lorentz.Range

Associated Types

type TypeDocFieldDescriptions (RangeEI a) :: FieldDescriptions

Methods

typeDocName :: Proxy (RangeEI a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (RangeEI a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (RangeEI a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (RangeEI a)

typeDocMichelsonRep :: TypeDocMichelsonRep (RangeEI a)

TypeHasDoc a => TypeHasDoc (RangeFailureInfo a)

Defined in Lorentz.Range

Associated Types

type TypeDocFieldDescriptions (RangeFailureInfo a) :: FieldDescriptions

Methods

typeDocName :: Proxy (RangeFailureInfo a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (RangeFailureInfo a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (RangeFailureInfo a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (RangeFailureInfo a)

typeDocMichelsonRep :: TypeDocMichelsonRep (RangeFailureInfo a)

TypeHasDoc a => TypeHasDoc (RangeIE a)

Defined in Lorentz.Range

Associated Types

type TypeDocFieldDescriptions (RangeIE a) :: FieldDescriptions

Methods

typeDocName :: Proxy (RangeIE a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (RangeIE a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (RangeIE a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (RangeIE a)

typeDocMichelsonRep :: TypeDocMichelsonRep (RangeIE a)

Typeable interface => TypeHasDoc (UParam interface)

Defined in Lorentz.UParam

Associated Types

type TypeDocFieldDescriptions (UParam interface) :: FieldDescriptions

Methods

typeDocName :: Proxy (UParam interface) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (UParam interface) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (UParam interface) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (UParam interface)

typeDocMichelsonRep :: TypeDocMichelsonRep (UParam interface)

PolyTypeHasDocC '[cp] => TypeHasDoc (ContractRef cp)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (ContractRef cp) :: FieldDescriptions

Methods

typeDocName :: Proxy (ContractRef cp) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (ContractRef cp) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (ContractRef cp) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (ContractRef cp)

typeDocMichelsonRep :: TypeDocMichelsonRep (ContractRef cp)

PolyTypeHasDocC '[a] => TypeHasDoc (Ticket a)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (Ticket a) :: FieldDescriptions

Methods

typeDocName :: Proxy (Ticket a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Ticket a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Ticket a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Ticket a)

typeDocMichelsonRep :: TypeDocMichelsonRep (Ticket a)

PolyTypeHasDocC '[a] => TypeHasDoc (Maybe a)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (Maybe a) :: FieldDescriptions

Methods

typeDocName :: Proxy (Maybe a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Maybe a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Maybe a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Maybe a)

typeDocMichelsonRep :: TypeDocMichelsonRep (Maybe a)

PolyTypeHasDocC '[a] => TypeHasDoc [a]

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions [a] :: FieldDescriptions

Methods

typeDocName :: Proxy [a] -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy [a] -> WithinParens -> Markdown

typeDocDependencies :: Proxy [a] -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep [a]

typeDocMichelsonRep :: TypeDocMichelsonRep [a]

PolyTypeHasDocC '[l, r] => TypeHasDoc (Either l r)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (Either l r) :: FieldDescriptions

Methods

typeDocName :: Proxy (Either l r) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Either l r) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Either l r) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Either l r)

typeDocMichelsonRep :: TypeDocMichelsonRep (Either l r)

(PolyCTypeHasDocC '[k], PolyTypeHasDocC '[v], Ord k) => TypeHasDoc (Map k v)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (Map k v) :: FieldDescriptions

Methods

typeDocName :: Proxy (Map k v) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Map k v) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Map k v) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Map k v)

typeDocMichelsonRep :: TypeDocMichelsonRep (Map k v)

(TypeHasDoc p, ViewsDescriptorHasDoc vd) => TypeHasDoc (TAddress p vd)

Defined in Lorentz.Doc

Associated Types

type TypeDocFieldDescriptions (TAddress p vd) :: FieldDescriptions

Methods

typeDocName :: Proxy (TAddress p vd) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (TAddress p vd) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (TAddress p vd) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (TAddress p vd)

typeDocMichelsonRep :: TypeDocMichelsonRep (TAddress p vd)

(KnownHashAlgorithm alg, TypeHasDoc a) => TypeHasDoc (Hash alg a)

Defined in Lorentz.Bytes

Associated Types

type TypeDocFieldDescriptions (Hash alg a) :: FieldDescriptions

Methods

typeDocName :: Proxy (Hash alg a) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Hash alg a) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Hash alg a) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Hash alg a)

typeDocMichelsonRep :: TypeDocMichelsonRep (Hash alg a)

(ExtensibleHasDoc x, ReifyList DocumentCtor (EnumerateCtors (GetCtors x))) => TypeHasDoc (Extensible x)

Defined in Lorentz.Extensible

Associated Types

type TypeDocFieldDescriptions (Extensible x) :: FieldDescriptions

Methods

typeDocName :: Proxy (Extensible x) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Extensible x) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Extensible x) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Extensible x)

typeDocMichelsonRep :: TypeDocMichelsonRep (Extensible x)

Each '[Typeable :: [Type] -> Constraint, ReifyList TypeHasDoc] '[i, o] => TypeHasDoc (WrappedLambda i o)

Defined in Lorentz.Lambda

Associated Types

type TypeDocFieldDescriptions (WrappedLambda i o) :: FieldDescriptions

Methods

typeDocName :: Proxy (WrappedLambda i o) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (WrappedLambda i o) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (WrappedLambda i o) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (WrappedLambda i o)

typeDocMichelsonRep :: TypeDocMichelsonRep (WrappedLambda i o)

Each '[Typeable :: Type -> Constraint, TypeHasDoc] '[a, r] => TypeHasDoc (View_ a r)

Defined in Lorentz.Macro

Associated Types

type TypeDocFieldDescriptions (View_ a r) :: FieldDescriptions

Methods

typeDocName :: Proxy (View_ a r) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (View_ a r) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (View_ a r) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (View_ a r)

typeDocMichelsonRep :: TypeDocMichelsonRep (View_ a r)

Each '[Typeable :: Type -> Constraint, TypeHasDoc] '[a, r] => TypeHasDoc (Void_ a r)

Defined in Lorentz.Macro

Associated Types

type TypeDocFieldDescriptions (Void_ a r) :: FieldDescriptions

Methods

typeDocName :: Proxy (Void_ a r) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (Void_ a r) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (Void_ a r) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (Void_ a r)

typeDocMichelsonRep :: TypeDocMichelsonRep (Void_ a r)

(PolyCTypeHasDocC '[k], PolyTypeHasDocC '[v], Ord k) => TypeHasDoc (BigMap k v)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (BigMap k v) :: FieldDescriptions

Methods

typeDocName :: Proxy (BigMap k v) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (BigMap k v) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (BigMap k v) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (BigMap k v)

typeDocMichelsonRep :: TypeDocMichelsonRep (BigMap k v)

PolyTypeHasDocC '[a, b] => TypeHasDoc (a, b)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (a, b) :: FieldDescriptions

Methods

typeDocName :: Proxy (a, b) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (a, b) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (a, b) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (a, b)

typeDocMichelsonRep :: TypeDocMichelsonRep (a, b)

(Typeable k, Typeable action, TypeHasDoc td) => TypeHasDoc (STicket action td)

Defined in Lorentz.Tickets

Associated Types

type TypeDocFieldDescriptions (STicket action td) :: FieldDescriptions

Methods

typeDocName :: Proxy (STicket action td) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (STicket action td) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (STicket action td) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (STicket action td)

typeDocMichelsonRep :: TypeDocMichelsonRep (STicket action td)

(TypeHasDoc (ApplyNamedFunctor f a), KnownSymbol n, KnownIsoT (ApplyNamedFunctor f Integer), Typeable f, Typeable a) => TypeHasDoc (NamedF f a n)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (NamedF f a n) :: FieldDescriptions

Methods

typeDocName :: Proxy (NamedF f a n) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (NamedF f a n) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (NamedF f a n) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (NamedF f a n)

typeDocMichelsonRep :: TypeDocMichelsonRep (NamedF f a n)

PolyTypeHasDocC '[a, b, c] => TypeHasDoc (a, b, c)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (a, b, c) :: FieldDescriptions

Methods

typeDocName :: Proxy (a, b, c) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (a, b, c) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (a, b, c) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (a, b, c)

typeDocMichelsonRep :: TypeDocMichelsonRep (a, b, c)

PolyTypeHasDocC '[a, b, c, d] => TypeHasDoc (a, b, c, d)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (a, b, c, d) :: FieldDescriptions

Methods

typeDocName :: Proxy (a, b, c, d) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (a, b, c, d) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (a, b, c, d) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (a, b, c, d)

typeDocMichelsonRep :: TypeDocMichelsonRep (a, b, c, d)

PolyTypeHasDocC '[a, b, c, d, e] => TypeHasDoc (a, b, c, d, e)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (a, b, c, d, e) :: FieldDescriptions

Methods

typeDocName :: Proxy (a, b, c, d, e) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (a, b, c, d, e) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (a, b, c, d, e) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (a, b, c, d, e)

typeDocMichelsonRep :: TypeDocMichelsonRep (a, b, c, d, e)

PolyTypeHasDocC '[a, b, c, d, e, f] => TypeHasDoc (a, b, c, d, e, f)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (a, b, c, d, e, f) :: FieldDescriptions

Methods

typeDocName :: Proxy (a, b, c, d, e, f) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (a, b, c, d, e, f) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (a, b, c, d, e, f) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (a, b, c, d, e, f)

typeDocMichelsonRep :: TypeDocMichelsonRep (a, b, c, d, e, f)

PolyTypeHasDocC '[a, b, c, d, e, f, g] => TypeHasDoc (a, b, c, d, e, f, g)

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions (a, b, c, d, e, f, g) :: FieldDescriptions

Methods

typeDocName :: Proxy (a, b, c, d, e, f, g) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (a, b, c, d, e, f, g) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (a, b, c, d, e, f, g) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (a, b, c, d, e, f, g)

typeDocMichelsonRep :: TypeDocMichelsonRep (a, b, c, d, e, f, g)

class TypeHasFieldNamingStrategy (a :: k) where

Minimal complete definition

Nothing

Methods

typeFieldNamingStrategy :: Text -> Text

Instances

TypeHasFieldNamingStrategy FieldCamelCase

Defined in Morley.Michelson.Typed.Haskell.Doc

Methods

typeFieldNamingStrategy :: Text -> Text

TypeHasFieldNamingStrategy FieldSnakeCase

Defined in Morley.Michelson.Typed.Haskell.Doc

Methods

typeFieldNamingStrategy :: Text -> Text

TypeHasFieldNamingStrategy (a :: k)

Defined in Morley.Michelson.Typed.Haskell.Doc

Methods

typeFieldNamingStrategy :: Text -> Text

TypeHasFieldNamingStrategy (RangeFailureInfo a :: Type)

Defined in Lorentz.Range

Methods

typeFieldNamingStrategy :: Text -> Text

data SomeTypeWithDoc where

Constructors

SomeTypeWithDoc :: forall td. TypeHasDoc td => Proxy td -> SomeTypeWithDoc

typeDocBuiltMichelsonRep :: TypeHasDoc a => Proxy a -> Doc

type family HaveCommonTypeCtor (a :: k) (b :: k) where ...

Equations

HaveCommonTypeCtor (ac _1 :: k2) (bc _2 :: k2) = HaveCommonTypeCtor ac bc

HaveCommonTypeCtor (a :: k) (a :: k) = ()

class IsHomomorphic (a :: k)

Instances

IsHomomorphic (a :: k)

Defined in Morley.Michelson.Typed.Haskell.Doc

(TypeError ('Text "Type is not homomorphic: " ':<>: 'ShowType (a b)) :: Constraint) => IsHomomorphic (a b :: k2)

Defined in Morley.Michelson.Typed.Haskell.Doc

genericTypeDocDependencies :: (Generic a, GTypeHasDoc (GRep a)) => Proxy a -> [SomeDocDefinitionItem]

customTypeDocMdReference :: (Text, DType) -> [DType] -> WithinParens -> Markdown

homomorphicTypeDocMdReference :: (Typeable t, TypeHasDoc t, IsHomomorphic t) => Proxy t -> WithinParens -> Markdown

poly1TypeDocMdReference :: forall (t :: Type -> Type) r a. (r ~ t a, Typeable t, Each '[TypeHasDoc] '[r, a], IsHomomorphic t) => Proxy r -> WithinParens -> Markdown

poly2TypeDocMdReference :: forall (t :: Type -> Type -> Type) r a b. (r ~ t a b, Typeable t, Each '[TypeHasDoc] '[r, a, b], IsHomomorphic t) => Proxy r -> WithinParens -> Markdown

homomorphicTypeDocHaskellRep :: (Generic a, GTypeHasDoc (GRep a)) => TypeDocHaskellRep a

concreteTypeDocHaskellRep :: (Typeable a, GenericIsoValue a, GTypeHasDoc (GRep a), HaveCommonTypeCtor b a) => TypeDocHaskellRep b

unsafeConcreteTypeDocHaskellRep :: (Typeable a, GenericIsoValue a, GTypeHasDoc (GRep a)) => TypeDocHaskellRep b

haskellAddNewtypeField :: Text -> TypeDocHaskellRep a -> TypeDocHaskellRep a

haskellRepNoFields :: TypeDocHaskellRep a -> TypeDocHaskellRep a

homomorphicTypeDocMichelsonRep :: KnownIsoT a => TypeDocMichelsonRep a

concreteTypeDocMichelsonRep :: (Typeable a, KnownIsoT a, HaveCommonTypeCtor b a) => TypeDocMichelsonRep b

unsafeConcreteTypeDocMichelsonRep :: forall {k} a (b :: k). (Typeable a, KnownIsoT a) => TypeDocMichelsonRep b

mdTocFromRef :: (DocItem d, DocItemReferenced d ~ 'True) => HeaderLevel -> Markdown -> d -> Markdown

Orphan instances

TypeHasDoc p => TypeHasDoc (FutureContract p)

Associated Types

type TypeDocFieldDescriptions (FutureContract p) :: FieldDescriptions

Methods

typeDocName :: Proxy (FutureContract p) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (FutureContract p) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (FutureContract p) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (FutureContract p)

typeDocMichelsonRep :: TypeDocMichelsonRep (FutureContract p)

ContainsDoc (i :-> o)

Methods

buildDocUnfinalized :: (i :-> o) -> ContractDoc

ContainsDoc (ContractCode i o)

Methods

buildDocUnfinalized :: ContractCode i o -> ContractDoc

ContainsUpdateableDoc (i :-> o)

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> (i :-> o) -> i :-> o

ContainsUpdateableDoc (ContractCode i o)

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> ContractCode i o -> ContractCode i o

(TypeHasDoc p, ViewsDescriptorHasDoc vd) => TypeHasDoc (TAddress p vd)

Associated Types

type TypeDocFieldDescriptions (TAddress p vd) :: FieldDescriptions

Methods

typeDocName :: Proxy (TAddress p vd) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (TAddress p vd) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (TAddress p vd) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (TAddress p vd)

typeDocMichelsonRep :: TypeDocMichelsonRep (TAddress p vd)

ContainsDoc (Contract cp st vd)

Methods

buildDocUnfinalized :: Contract cp st vd -> ContractDoc

ContainsUpdateableDoc (Contract cp st vd)

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> Contract cp st vd -> Contract cp st vd