Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data MatchOption
Documentation
data MatchOption Source #
Allows one to choose which way of doing pattern matching on built-in types to use: either via
ChooseList
-like builtins or via CaseList
-like ones.
Instances
Bounded MatchOption Source # | |
Defined in PlutusCore.StdLib.Data.MatchOption | |
Enum MatchOption Source # | |
Defined in PlutusCore.StdLib.Data.MatchOption 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 (==) ∷ MatchOption → MatchOption → Bool Source # (/=) ∷ MatchOption → MatchOption → Bool Source # |