| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.MatchOption
Synopsis
- data MatchOption = UseChoose
Documentation
data MatchOption Source #
Allows one to choose which way of doing pattern matching on built-in types to use: currently
only ChooseList-like builtins are supported.
Constructors
| UseChoose |
Instances
| Bounded MatchOption Source # | |
Defined in PlutusCore.StdLib.Data.MatchOption | |
| Enum MatchOption Source # | |
Defined in PlutusCore.StdLib.Data.MatchOption Methods succ ∷ MatchOption → MatchOption Source # pred ∷ MatchOption → MatchOption Source # toEnum ∷ Int → MatchOption Source # fromEnum ∷ MatchOption → Int Source # enumFrom ∷ MatchOption → [MatchOption] Source # enumFromThen ∷ MatchOption → MatchOption → [MatchOption] Source # enumFromTo ∷ MatchOption → MatchOption → [MatchOption] Source # enumFromThenTo ∷ MatchOption → MatchOption → MatchOption → [MatchOption] Source # | |
| Show MatchOption Source # | |
Defined in PlutusCore.StdLib.Data.MatchOption | |
| Eq MatchOption Source # | |
Defined in PlutusCore.StdLib.Data.MatchOption Methods (==) ∷ MatchOption → MatchOption → Bool Source # (/=) ∷ MatchOption → MatchOption → Bool Source # | |