Morley.Michelson.Typed.Haskell.Compatibility

Compatibility of Haskell values representation in Michelson.

Documentation

ligoLayout :: GenericStrategy

Default layout in LIGO.

To be used with customGeneric, see this method for more info.

This is similar to leftBalanced, but

• fields are sorted alphabetically;
• always puts as large complete binary subtrees as possible at left.

ligoCombLayout :: GenericStrategy

Comb layout in LIGO ( [@layout:comb] ).

To be used with customGeneric.

Note: to make comb layout work for sum types, make sure that in LIGO all the constructors are preceded by the bar symbol in your type declaration:

type my_type =
  [@layout:comb]
  | Ctor1 of nat  ← bar symbol _must_ be here
  | Ctor2 of int
  ...

Though the situation may change: https://gitlab.com/ligolang/ligo/-/issues/1104.