Michelson.Typed.Haskell.Instr.Helpers

Documentation

data Branch

Which branch to choose in generic tree representation: left, straight or right. S is used when there is one constructor with one field (something newtype-like).

The reason why we need S can be explained by this example: data A = A1 B | A2 Integer data B = B Bool Now we may search for A1 constructor or B constructor. Without S in both cases path will be the same ([L]).

Constructors

L

S

R

type Path = [Branch]

Path to a leaf (some field or constructor) in generic tree representation.

class RSplit (l :: [k]) (r :: [k]) where

Split a record into two pieces.

Methods

rsplit :: forall f. Rec f (l ++ r) -> (Rec f l, Rec f r)

Instances

RSplit ([] :: [k]) (r :: [k])

Defined in Michelson.Typed.Haskell.Instr.Helpers

Methods

rsplit :: Rec f ([] ++ r) -> (Rec f [], Rec f r)

RSplit ls r => RSplit (l ': ls :: [k]) (r :: [k])

Defined in Michelson.Typed.Haskell.Instr.Helpers

Methods

rsplit :: Rec f ((l ': ls) ++ r) -> (Rec f (l ': ls), Rec f r)