Copyright	(c) NoviSci Inc 2020
License	BSD3
Maintainer	bsaul@novisci.com
Safe Haskell	Safe
Language	Haskell2010

Stype.Numeric.Count

Contents

Orphan instances

Description

Synopsis

newtype Count = Count Natural

Documentation

newtype Count Source #

Just a type holding a Natural value.

Constructors

Count Natural

Instances

Instances details

Eq Count Source #
Instance details Defined in Stype.Numeric.Count Methods (==) :: Count -> Count -> Bool # (/=) :: Count -> Count -> Bool #
Num Count Source #
Instance details Defined in Stype.Numeric.Count Methods (+) :: Count -> Count -> Count # (-) :: Count -> Count -> Count # (*) :: Count -> Count -> Count # negate :: Count -> Count # abs :: Count -> Count # signum :: Count -> Count # fromInteger :: Integer -> Count #
Ord Count Source #
Instance details Defined in Stype.Numeric.Count Methods compare :: Count -> Count -> Ordering # (<) :: Count -> Count -> Bool # (<=) :: Count -> Count -> Bool # (>) :: Count -> Count -> Bool # (>=) :: Count -> Count -> Bool # max :: Count -> Count -> Count # min :: Count -> Count -> Count #
Show Count Source #
Instance details Defined in Stype.Numeric.Count Methods showsPrec :: Int -> Count -> ShowS # show :: Count -> String # showList :: [Count] -> ShowS #
Generic Count Source #
Instance details Defined in Stype.Numeric.Count Associated Types type Rep Count :: Type -> Type # Methods from :: Count -> Rep Count x # to :: Rep Count x -> Count #
Semigroup Count Source #
Instance details Defined in Stype.Numeric.Count Methods (<>) :: Count -> Count -> Count # sconcat :: NonEmpty Count -> Count # stimes :: Integral b => b -> Count -> Count #
Monoid Count Source #
Instance details Defined in Stype.Numeric.Count Methods mempty :: Count # mappend :: Count -> Count -> Count # mconcat :: [Count] -> Count #
Semiring Count Source #
Instance details Defined in Stype.Numeric.Count Methods one :: Count # (<.>) :: Count -> Count -> Count #
ToJSON Count Source #
Instance details Defined in Stype.Aeson Methods toJSON :: Count -> Value # toEncoding :: Count -> Encoding # toJSONList :: [Count] -> Value # toEncodingList :: [Count] -> Encoding #
type Rep Count Source #
Instance details Defined in Stype.Numeric.Count type Rep Count = D1 ('MetaData "Count" "Stype.Numeric.Count" "hasklepias-0.17.0-inplace" 'True) (C1 ('MetaCons "Count" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

Orphan instances

Semigroup Natural Source #
Instance details Methods (<>) :: Natural -> Natural -> Natural # sconcat :: NonEmpty Natural -> Natural # stimes :: Integral b => b -> Natural -> Natural #
Monoid Natural Source #
Instance details Methods mempty :: Natural # mappend :: Natural -> Natural -> Natural # mconcat :: [Natural] -> Natural #
Semiring Natural Source #
Instance details Methods one :: Natural # (<.>) :: Natural -> Natural -> Natural #