Lorentz.Entrypoints.Helpers

Documentation

ctorNameToAnn :: forall ctor. (KnownSymbol ctor, HasCallStack) => FieldAnn

ctorNameToEp :: forall ctor. (KnownSymbol ctor, HasCallStack) => EpName

type family CanHaveEntrypoints (p :: Type) :: Bool where ...

Used to understand whether a type can potentially declare any entrypoints.

Equations

CanHaveEntrypoints (ShouldHaveEntrypoints _) = 'True

CanHaveEntrypoints p = CanHaveEntrypointsT (ToT p)

newtype ShouldHaveEntrypoints a

A special type which wraps over a primitive type and states that it has entrypoints (one).

Assuming that any type can have entrypoints makes use of Lorentz entrypoints too annoying, so for declaring entrypoints for not sum types we require an explicit wrapper.

Constructors

ShouldHaveEntrypoints

Fields

• unHasEntrypoints :: a

Instances

Generic (ShouldHaveEntrypoints a)

Defined in Lorentz.Entrypoints.Helpers

Associated Types

type Rep (ShouldHaveEntrypoints a) :: Type -> Type

Methods

from :: ShouldHaveEntrypoints a -> Rep (ShouldHaveEntrypoints a) x

to :: Rep (ShouldHaveEntrypoints a) x -> ShouldHaveEntrypoints a

WellTypedIsoValue r => IsoValue (ShouldHaveEntrypoints r)

Defined in Lorentz.Entrypoints.Helpers

Associated Types

type ToT (ShouldHaveEntrypoints r) :: T

Methods

toVal :: ShouldHaveEntrypoints r -> Value (ToT (ShouldHaveEntrypoints r))

fromVal :: Value (ToT (ShouldHaveEntrypoints r)) -> ShouldHaveEntrypoints r

type Rep (ShouldHaveEntrypoints a)

Defined in Lorentz.Entrypoints.Helpers

type Rep (ShouldHaveEntrypoints a) = D1 ('MetaData "ShouldHaveEntrypoints" "Lorentz.Entrypoints.Helpers" "lorentz-0.6.2-inplace" 'True) (C1 ('MetaCons "ShouldHaveEntrypoints" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHasEntrypoints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type ToT (ShouldHaveEntrypoints r)

Defined in Lorentz.Entrypoints.Helpers

type ToT (ShouldHaveEntrypoints r) = GValueType (Rep (ShouldHaveEntrypoints r))

type family RequireSumType (a :: Type) :: Constraint where ...

Ensure that given type is a sum type.

This helps to prevent attempts to apply a function to, for instance, a pair.

Equations

RequireSumType a = If (CanHaveEntrypoints a) (() :: Constraint) (TypeError ('Text "Expected Michelson sum type" :$$: (('Text "In type `" :<>: 'ShowType a) :<>: 'Text "`")))