Util.Positive

Definition of Positive type and related utilities.

Documentation

newtype Positive

Integer values starting from 1.

We define our own datatype in order to have Data instance for it, which can not be derived for third-party types without exported constructor.

Constructors

PositiveUnsafe

Fields

• unPositive :: Natural

Instances

Eq Positive

Defined in Util.Positive

Methods

(==) :: Positive -> Positive -> Bool

(/=) :: Positive -> Positive -> Bool

Data Positive

Defined in Util.Positive

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Positive -> c Positive

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Positive

toConstr :: Positive -> Constr

dataTypeOf :: Positive -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Positive)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Positive)

gmapT :: (forall b. Data b => b -> b) -> Positive -> Positive

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Positive -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Positive -> r

gmapQ :: (forall d. Data d => d -> u) -> Positive -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Positive -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Positive -> m Positive

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Positive -> m Positive

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Positive -> m Positive

Ord Positive

Defined in Util.Positive

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

Show Positive

Defined in Util.Positive

Methods

showsPrec :: Int -> Positive -> ShowS

show :: Positive -> String

showList :: [Positive] -> ShowS

Generic Positive

Defined in Util.Positive

Associated Types

type Rep Positive :: Type -> Type

Methods

from :: Positive -> Rep Positive x

to :: Rep Positive x -> Positive

ToJSON Positive

Defined in Util.Positive

Methods

toJSON :: Positive -> Value

toEncoding :: Positive -> Encoding

toJSONList :: [Positive] -> Value

toEncodingList :: [Positive] -> Encoding

FromJSON Positive

Defined in Util.Positive

Methods

parseJSON :: Value -> Parser Positive

parseJSONList :: Value -> Parser [Positive]

NFData Positive

Defined in Util.Positive

Methods

rnf :: Positive -> ()

Buildable Positive

Defined in Util.Positive

Methods

build :: Positive -> Builder

type Rep Positive

Defined in Util.Positive

type Rep Positive = D1 ('MetaData "Positive" "Util.Positive" "morley-1.10.0-inplace" 'True) (C1 ('MetaCons "PositiveUnsafe" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPositive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

mkPositive :: (Integral i, Buildable i) => i -> Either Text Positive

lengthNE :: NonEmpty a -> Positive

Count length of non-empty list.

replicateNE :: Positive -> a -> NonEmpty a

Produce a non empty list consisting of the given value.