| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.MatchOption
Synopsis
- data MatchOption = UseChoose
Documentation
data MatchOption #
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 # | |
Defined in PlutusCore.StdLib.Data.MatchOption | |
| Enum MatchOption # | |
Defined in PlutusCore.StdLib.Data.MatchOption Methods succ :: MatchOption -> MatchOption # pred :: MatchOption -> MatchOption # toEnum :: Int -> MatchOption # fromEnum :: MatchOption -> Int # enumFrom :: MatchOption -> [MatchOption] # enumFromThen :: MatchOption -> MatchOption -> [MatchOption] # enumFromTo :: MatchOption -> MatchOption -> [MatchOption] # enumFromThenTo :: MatchOption -> MatchOption -> MatchOption -> [MatchOption] # | |
| Show MatchOption # | |
Defined in PlutusCore.StdLib.Data.MatchOption Methods showsPrec :: Int -> MatchOption -> ShowS # show :: MatchOption -> String # showList :: [MatchOption] -> ShowS # | |
| Eq MatchOption # | |
Defined in PlutusCore.StdLib.Data.MatchOption | |