tfausak / jawa / Jawa.Event.PipLeave


type alias PipLeave =
{}

This event is not documented.

decoder : Json.Decode.Decoder PipLeave

A JSON decoder.

encode : PipLeave -> Json.Encode.Value

A JSON encoder.

tag : String

The tag that describes this type.