Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Pythia.Data.Percentage
Contents
Description
Provides the Percentage
type.
Since: 0.1
Synopsis
- data Percentage where
- pattern MkPercentage :: Word8 -> Percentage
- mkPercentage :: Word8 -> Maybe Percentage
- mkPercentageTH :: Word8 -> Code Q Percentage
- unsafePercentage :: HasCallStack => Word8 -> Percentage
- unPercentage :: Percentage -> Word8
- _MkPercentage :: ReversedPrism' Percentage Word8
Type
data Percentage where Source #
Represents a percentage.
Since: 0.1
Bundled Patterns
pattern MkPercentage :: Word8 -> Percentage | Pattern synonym for Percentage. Since: 0.1 |
Instances
Creation
mkPercentage :: Word8 -> Maybe Percentage Source #
Creates a percentage for x in [0, 100].
Since: 0.1
mkPercentageTH :: Word8 -> Code Q Percentage Source #
Safely creates a percentage at compile-time.
Since: 0.1
unsafePercentage :: HasCallStack => Word8 -> Percentage Source #
Unsafely creates a percentage for x in [0, 100]. Calls error otherwise.
Since: 0.1
Elimination
unPercentage :: Percentage -> Word8 Source #
Retrieve the raw percentage.
Since: 0.1
Optics
_MkPercentage :: ReversedPrism' Percentage Word8 Source #
ReversedPrism'
that enables total elimination and partial construction.
Since: 0.1