Lorentz.Base

Foundation of Lorentz development.

Documentation

newtype (inp :: [Type]) :-> (out :: [Type]) infixr 1

Alias for instruction which hides inner types representation via T.

Constructors

I

Fields

• unI :: Instr (ToTs inp) (ToTs out)

Instances

Eq (inp :-> out)

Defined in Lorentz.Base

Methods

(==) :: (inp :-> out) -> (inp :-> out) -> Bool

(/=) :: (inp :-> out) -> (inp :-> out) -> Bool

Show (inp :-> out)

Defined in Lorentz.Base

Methods

showsPrec :: Int -> (inp :-> out) -> ShowS

show :: (inp :-> out) -> String

showList :: [inp :-> out] -> ShowS

IsoValue (Lambda inp out)

Defined in Lorentz.Base

Associated Types

type ToT (Lambda inp out) :: T

Methods

toVal :: Lambda inp out -> Value (ToT (Lambda inp out))

fromVal :: Value (ToT (Lambda inp out)) -> Lambda inp out

(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

type ToT (Lambda inp out)

Defined in Lorentz.Base

type ToT (Lambda inp out) = TLambda (ToT inp) (ToT out)

type (%>) = (:->) infixr 1

Alias for :->, seems to make signatures more readable sometimes.

Let's someday decide which one of these two should remain.

type (&) (a :: Type) (b :: [Type]) = a ': b infixr 2

(#) :: (a :-> b) -> (b :-> c) -> a :-> c

compileLorentz :: (inp :-> out) -> Instr (ToTs inp) (ToTs out)

For use outside of Lorentz.

compileLorentzContract :: forall cp st. (NoOperation cp, NoOperation st, NoBigMap cp, CanHaveBigMap st) => Contract cp st -> Instr '[ToT (cp, st)] '[ToT ([Operation], st)]

Version of compileLorentz specialized to instruction corresponding to contract code.

printLorentzContract :: forall cp st. (SingI (ToT cp), SingI (ToT st), NoOperation cp, NoOperation st, NoBigMap cp, CanHaveBigMap st) => Contract cp st -> LText

type ContractOut st = '[([Operation], st)]

type Contract cp st = '[(cp, st)] :-> ContractOut st

type Lambda i o = '[i] :-> '[o]