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 # |