PlutusTx.Maybe

Picks the leftmost Just value, or, alternatively, Nothing.

Picks the leftmost Just value, or, alternatively, Nothing.

By default a [Maybe a] is converted to [a] first and only then pretty-printed.

>>> braces $ prettyBy () (Just True){True}>>> braces $ prettyBy () (Nothing :: Maybe Bool){}>>> prettyBy () [Just False, Nothing, Just True][False, True]>>> prettyBy () [Nothing, Just 'a', Just 'b', Nothing, Just 'c']abc

Lift a semigroup into Maybe forming a Monoid according to http://en.wikipedia.org/wiki/Monoid: "Any semigroup S may be turned into a monoid simply by adjoining an element e not in S and defining e*e = e and e*s = s = s*e for all s ∈ S."

Since 4.11.0: constraint on inner a value generalised from Monoid to Semigroup.

Ignore Nothings, print Just contents.

>>> pretty (Just True)True>>> braces (pretty (Nothing :: Maybe Bool)){}

>>> pretty [Just 1, Nothing, Just 3, Nothing][1, 3]

Maybe a = a + 1, 0 + 1 = 1.

Nothing if the Field is empty, Just otherwise.

Nothing is encoded as an empty field.

Example boring stub for non-recursive data types