Copyright	Copyright 2017 Awake Security
License	Apache-2.0
Maintainer	opensource@awakesecurity.com
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Language.Ninja.Misc.Positive

Description

A data type for integers greater than zero.

Since: 0.1.0

Synopsis

Documentation

data Positive Source #

This type represents a positive number; i.e.: an integer greater than zero.

Since: 0.1.0

Instances

Enum Positive Source #
Methods succ :: Positive -> Positive # pred :: Positive -> Positive # toEnum :: Int -> Positive # fromEnum :: Positive -> Int # enumFrom :: Positive -> [Positive] # enumFromThen :: Positive -> Positive -> [Positive] # enumFromTo :: Positive -> Positive -> [Positive] # enumFromThenTo :: Positive -> Positive -> Positive -> [Positive] #
Eq Positive Source #
Methods (==) :: Positive -> Positive -> Bool # (/=) :: Positive -> Positive -> Bool #
Integral Positive Source #
Methods quot :: Positive -> Positive -> Positive # rem :: Positive -> Positive -> Positive # div :: Positive -> Positive -> Positive # mod :: Positive -> Positive -> Positive # quotRem :: Positive -> Positive -> (Positive, Positive) # divMod :: Positive -> Positive -> (Positive, Positive) # toInteger :: Positive -> Integer #
Num Positive Source #	This instance uses `error` to preserve the `Positive` invariant. Since: 0.1.0
Methods (+) :: Positive -> Positive -> Positive # (-) :: Positive -> Positive -> Positive # (*) :: Positive -> Positive -> Positive # negate :: Positive -> Positive # abs :: Positive -> Positive # signum :: Positive -> Positive # fromInteger :: Integer -> Positive #
Ord Positive Source #
Methods compare :: Positive -> Positive -> Ordering # (<) :: Positive -> Positive -> Bool # (<=) :: Positive -> Positive -> Bool # (>) :: Positive -> Positive -> Bool # (>=) :: Positive -> Positive -> Bool # max :: Positive -> Positive -> Positive # min :: Positive -> Positive -> Positive #
Read Positive Source #
Methods readsPrec :: Int -> ReadS Positive # readList :: ReadS [Positive] # readPrec :: ReadPrec Positive # readListPrec :: ReadPrec [Positive] #
Real Positive Source #
Methods toRational :: Positive -> Rational #
Show Positive Source #
Methods showsPrec :: Int -> Positive -> ShowS # show :: Positive -> String # showList :: [Positive] -> ShowS #
Generic Positive Source #
Associated Types type Rep Positive :: * -> * # Methods from :: Positive -> Rep Positive x # to :: Rep Positive x -> Positive #
Hashable Positive Source #
Methods hashWithSalt :: Int -> Positive -> Int # hash :: Positive -> Int #
ToJSON Positive Source #
Methods toJSON :: Positive -> Value # toEncoding :: Positive -> Encoding # toJSONList :: [Positive] -> Value # toEncodingList :: [Positive] -> Encoding #
FromJSON Positive Source #
Methods parseJSON :: Value -> Parser Positive # parseJSONList :: Value -> Parser [Positive] #
NFData Positive Source #
Methods rnf :: Positive -> () #
Monad m => Serial m Positive Source #	Uses the underlying `Int` instance. Since: 0.1.0
Methods series :: Series m Positive #
Monad m => CoSerial m Positive Source #	Uses the underlying `Int` instance. Since: 0.1.0
Methods coseries :: Series m b -> Series m (Positive -> b) #
type Rep Positive Source #
type Rep Positive = D1 (MetaData "Positive" "Language.Ninja.Misc.Positive" "language-ninja-0.2.0-4aVVODOvkNMFxGcRpnztag" True) (C1 (MetaCons "MkPositive" PrefixI True) (S1 (MetaSel (Just Symbol "_fromPositive") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

makePositive :: Int -> Maybe Positive Source #

Constructor for a Positive.

Since: 0.1.0

fromPositive :: Getter Positive Int Source #

A Getter for the Int underlying a Positive.

Since: 0.1.0