| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.MatchOption
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 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 # | |