Safe Haskell	None
Language	Haskell2010

Serokell.Data.Memory.Units

Description

Memory units.

Synopsis

class Integral unit => MemoryUnit unit where
data Byte
data Kilobyte
data Megabyte
data Gigabyte
data Terabyte
unitBuilder :: MemoryUnit unit => unit -> Builder
memory :: MemoryUnit unit => Format r (unit -> r)
toBytes :: forall unit. MemoryUnit unit => unit -> Integer
fromBytes :: forall unit. MemoryUnit unit => Integer -> unit
convertUnit :: (MemoryUnit a, MemoryUnit b) => a -> b

Documentation

Type class

class Integral unit => MemoryUnit unit where Source #

Minimal complete definition

bytesMultiplier

Methods

bytesMultiplier :: Proxy unit -> Integer Source #

This value is n iff (1 :: unit) is n bytes.

Instances

MemoryUnit Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Terabyte -> Integer Source #
MemoryUnit Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Gigabyte -> Integer Source #
MemoryUnit Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Megabyte -> Integer Source #
MemoryUnit Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Kilobyte -> Integer Source #
MemoryUnit Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Byte -> Integer Source #

Concrete types

data Byte Source #

Instances

Enum Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods succ :: Byte -> Byte # pred :: Byte -> Byte # toEnum :: Int -> Byte # fromEnum :: Byte -> Int # enumFrom :: Byte -> [Byte] # enumFromThen :: Byte -> Byte -> [Byte] # enumFromTo :: Byte -> Byte -> [Byte] # enumFromThenTo :: Byte -> Byte -> Byte -> [Byte] #
Eq Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (==) :: Byte -> Byte -> Bool # (/=) :: Byte -> Byte -> Bool #
Integral Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods quot :: Byte -> Byte -> Byte # rem :: Byte -> Byte -> Byte # div :: Byte -> Byte -> Byte # mod :: Byte -> Byte -> Byte # quotRem :: Byte -> Byte -> (Byte, Byte) # divMod :: Byte -> Byte -> (Byte, Byte) # toInteger :: Byte -> Integer #
Num Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (+) :: Byte -> Byte -> Byte # (-) :: Byte -> Byte -> Byte # (*) :: Byte -> Byte -> Byte # negate :: Byte -> Byte # abs :: Byte -> Byte # signum :: Byte -> Byte # fromInteger :: Integer -> Byte #
Ord Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods compare :: Byte -> Byte -> Ordering # (<) :: Byte -> Byte -> Bool # (<=) :: Byte -> Byte -> Bool # (>) :: Byte -> Byte -> Bool # (>=) :: Byte -> Byte -> Bool # max :: Byte -> Byte -> Byte # min :: Byte -> Byte -> Byte #
Real Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods toRational :: Byte -> Rational #
Show Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods showsPrec :: Int -> Byte -> ShowS # show :: Byte -> String # showList :: [Byte] -> ShowS #
Generic Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Associated Types type Rep Byte :: * -> * # Methods from :: Byte -> Rep Byte x # to :: Rep Byte x -> Byte #
Arbitrary Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods arbitrary :: Gen Byte # shrink :: Byte -> [Byte] #
NFData Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods rnf :: Byte -> () #
MemoryUnit Byte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Byte -> Integer Source #
type Rep Byte Source #
Instance details Defined in Serokell.Data.Memory.Units type Rep Byte = D1 (MetaData "Byte" "Serokell.Data.Memory.Units" "serokell-util-0.10.0-ABO96GElPTlE59q6YkXtOP" True) (C1 (MetaCons "Byte" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data Kilobyte Source #

Instances

Enum Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods succ :: Kilobyte -> Kilobyte # pred :: Kilobyte -> Kilobyte # toEnum :: Int -> Kilobyte # fromEnum :: Kilobyte -> Int # enumFrom :: Kilobyte -> [Kilobyte] # enumFromThen :: Kilobyte -> Kilobyte -> [Kilobyte] # enumFromTo :: Kilobyte -> Kilobyte -> [Kilobyte] # enumFromThenTo :: Kilobyte -> Kilobyte -> Kilobyte -> [Kilobyte] #
Eq Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (==) :: Kilobyte -> Kilobyte -> Bool # (/=) :: Kilobyte -> Kilobyte -> Bool #
Integral Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods quot :: Kilobyte -> Kilobyte -> Kilobyte # rem :: Kilobyte -> Kilobyte -> Kilobyte # div :: Kilobyte -> Kilobyte -> Kilobyte # mod :: Kilobyte -> Kilobyte -> Kilobyte # quotRem :: Kilobyte -> Kilobyte -> (Kilobyte, Kilobyte) # divMod :: Kilobyte -> Kilobyte -> (Kilobyte, Kilobyte) # toInteger :: Kilobyte -> Integer #
Num Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (+) :: Kilobyte -> Kilobyte -> Kilobyte # (-) :: Kilobyte -> Kilobyte -> Kilobyte # (*) :: Kilobyte -> Kilobyte -> Kilobyte # negate :: Kilobyte -> Kilobyte # abs :: Kilobyte -> Kilobyte # signum :: Kilobyte -> Kilobyte # fromInteger :: Integer -> Kilobyte #
Ord Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods compare :: Kilobyte -> Kilobyte -> Ordering # (<) :: Kilobyte -> Kilobyte -> Bool # (<=) :: Kilobyte -> Kilobyte -> Bool # (>) :: Kilobyte -> Kilobyte -> Bool # (>=) :: Kilobyte -> Kilobyte -> Bool # max :: Kilobyte -> Kilobyte -> Kilobyte # min :: Kilobyte -> Kilobyte -> Kilobyte #
Real Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods toRational :: Kilobyte -> Rational #
Show Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods showsPrec :: Int -> Kilobyte -> ShowS # show :: Kilobyte -> String # showList :: [Kilobyte] -> ShowS #
Generic Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Associated Types type Rep Kilobyte :: * -> * # Methods from :: Kilobyte -> Rep Kilobyte x # to :: Rep Kilobyte x -> Kilobyte #
Arbitrary Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods arbitrary :: Gen Kilobyte # shrink :: Kilobyte -> [Kilobyte] #
NFData Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods rnf :: Kilobyte -> () #
MemoryUnit Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Kilobyte -> Integer Source #
type Rep Kilobyte Source #
Instance details Defined in Serokell.Data.Memory.Units type Rep Kilobyte = D1 (MetaData "Kilobyte" "Serokell.Data.Memory.Units" "serokell-util-0.10.0-ABO96GElPTlE59q6YkXtOP" True) (C1 (MetaCons "Kilobyte" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data Megabyte Source #

Instances

Enum Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods succ :: Megabyte -> Megabyte # pred :: Megabyte -> Megabyte # toEnum :: Int -> Megabyte # fromEnum :: Megabyte -> Int # enumFrom :: Megabyte -> [Megabyte] # enumFromThen :: Megabyte -> Megabyte -> [Megabyte] # enumFromTo :: Megabyte -> Megabyte -> [Megabyte] # enumFromThenTo :: Megabyte -> Megabyte -> Megabyte -> [Megabyte] #
Eq Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (==) :: Megabyte -> Megabyte -> Bool # (/=) :: Megabyte -> Megabyte -> Bool #
Integral Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods quot :: Megabyte -> Megabyte -> Megabyte # rem :: Megabyte -> Megabyte -> Megabyte # div :: Megabyte -> Megabyte -> Megabyte # mod :: Megabyte -> Megabyte -> Megabyte # quotRem :: Megabyte -> Megabyte -> (Megabyte, Megabyte) # divMod :: Megabyte -> Megabyte -> (Megabyte, Megabyte) # toInteger :: Megabyte -> Integer #
Num Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (+) :: Megabyte -> Megabyte -> Megabyte # (-) :: Megabyte -> Megabyte -> Megabyte # (*) :: Megabyte -> Megabyte -> Megabyte # negate :: Megabyte -> Megabyte # abs :: Megabyte -> Megabyte # signum :: Megabyte -> Megabyte # fromInteger :: Integer -> Megabyte #
Ord Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods compare :: Megabyte -> Megabyte -> Ordering # (<) :: Megabyte -> Megabyte -> Bool # (<=) :: Megabyte -> Megabyte -> Bool # (>) :: Megabyte -> Megabyte -> Bool # (>=) :: Megabyte -> Megabyte -> Bool # max :: Megabyte -> Megabyte -> Megabyte # min :: Megabyte -> Megabyte -> Megabyte #
Real Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods toRational :: Megabyte -> Rational #
Show Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods showsPrec :: Int -> Megabyte -> ShowS # show :: Megabyte -> String # showList :: [Megabyte] -> ShowS #
Generic Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Associated Types type Rep Megabyte :: * -> * # Methods from :: Megabyte -> Rep Megabyte x # to :: Rep Megabyte x -> Megabyte #
Arbitrary Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods arbitrary :: Gen Megabyte # shrink :: Megabyte -> [Megabyte] #
NFData Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods rnf :: Megabyte -> () #
MemoryUnit Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Megabyte -> Integer Source #
type Rep Megabyte Source #
Instance details Defined in Serokell.Data.Memory.Units type Rep Megabyte = D1 (MetaData "Megabyte" "Serokell.Data.Memory.Units" "serokell-util-0.10.0-ABO96GElPTlE59q6YkXtOP" True) (C1 (MetaCons "Megabyte" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data Gigabyte Source #

Instances

Enum Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods succ :: Gigabyte -> Gigabyte # pred :: Gigabyte -> Gigabyte # toEnum :: Int -> Gigabyte # fromEnum :: Gigabyte -> Int # enumFrom :: Gigabyte -> [Gigabyte] # enumFromThen :: Gigabyte -> Gigabyte -> [Gigabyte] # enumFromTo :: Gigabyte -> Gigabyte -> [Gigabyte] # enumFromThenTo :: Gigabyte -> Gigabyte -> Gigabyte -> [Gigabyte] #
Eq Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (==) :: Gigabyte -> Gigabyte -> Bool # (/=) :: Gigabyte -> Gigabyte -> Bool #
Integral Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods quot :: Gigabyte -> Gigabyte -> Gigabyte # rem :: Gigabyte -> Gigabyte -> Gigabyte # div :: Gigabyte -> Gigabyte -> Gigabyte # mod :: Gigabyte -> Gigabyte -> Gigabyte # quotRem :: Gigabyte -> Gigabyte -> (Gigabyte, Gigabyte) # divMod :: Gigabyte -> Gigabyte -> (Gigabyte, Gigabyte) # toInteger :: Gigabyte -> Integer #
Num Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (+) :: Gigabyte -> Gigabyte -> Gigabyte # (-) :: Gigabyte -> Gigabyte -> Gigabyte # (*) :: Gigabyte -> Gigabyte -> Gigabyte # negate :: Gigabyte -> Gigabyte # abs :: Gigabyte -> Gigabyte # signum :: Gigabyte -> Gigabyte # fromInteger :: Integer -> Gigabyte #
Ord Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods compare :: Gigabyte -> Gigabyte -> Ordering # (<) :: Gigabyte -> Gigabyte -> Bool # (<=) :: Gigabyte -> Gigabyte -> Bool # (>) :: Gigabyte -> Gigabyte -> Bool # (>=) :: Gigabyte -> Gigabyte -> Bool # max :: Gigabyte -> Gigabyte -> Gigabyte # min :: Gigabyte -> Gigabyte -> Gigabyte #
Real Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods toRational :: Gigabyte -> Rational #
Show Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods showsPrec :: Int -> Gigabyte -> ShowS # show :: Gigabyte -> String # showList :: [Gigabyte] -> ShowS #
Generic Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Associated Types type Rep Gigabyte :: * -> * # Methods from :: Gigabyte -> Rep Gigabyte x # to :: Rep Gigabyte x -> Gigabyte #
Arbitrary Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods arbitrary :: Gen Gigabyte # shrink :: Gigabyte -> [Gigabyte] #
NFData Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods rnf :: Gigabyte -> () #
MemoryUnit Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Gigabyte -> Integer Source #
type Rep Gigabyte Source #
Instance details Defined in Serokell.Data.Memory.Units type Rep Gigabyte = D1 (MetaData "Gigabyte" "Serokell.Data.Memory.Units" "serokell-util-0.10.0-ABO96GElPTlE59q6YkXtOP" True) (C1 (MetaCons "Gigabyte" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data Terabyte Source #

Instances

Enum Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods succ :: Terabyte -> Terabyte # pred :: Terabyte -> Terabyte # toEnum :: Int -> Terabyte # fromEnum :: Terabyte -> Int # enumFrom :: Terabyte -> [Terabyte] # enumFromThen :: Terabyte -> Terabyte -> [Terabyte] # enumFromTo :: Terabyte -> Terabyte -> [Terabyte] # enumFromThenTo :: Terabyte -> Terabyte -> Terabyte -> [Terabyte] #
Eq Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (==) :: Terabyte -> Terabyte -> Bool # (/=) :: Terabyte -> Terabyte -> Bool #
Integral Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods quot :: Terabyte -> Terabyte -> Terabyte # rem :: Terabyte -> Terabyte -> Terabyte # div :: Terabyte -> Terabyte -> Terabyte # mod :: Terabyte -> Terabyte -> Terabyte # quotRem :: Terabyte -> Terabyte -> (Terabyte, Terabyte) # divMod :: Terabyte -> Terabyte -> (Terabyte, Terabyte) # toInteger :: Terabyte -> Integer #
Num Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods (+) :: Terabyte -> Terabyte -> Terabyte # (-) :: Terabyte -> Terabyte -> Terabyte # (*) :: Terabyte -> Terabyte -> Terabyte # negate :: Terabyte -> Terabyte # abs :: Terabyte -> Terabyte # signum :: Terabyte -> Terabyte # fromInteger :: Integer -> Terabyte #
Ord Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods compare :: Terabyte -> Terabyte -> Ordering # (<) :: Terabyte -> Terabyte -> Bool # (<=) :: Terabyte -> Terabyte -> Bool # (>) :: Terabyte -> Terabyte -> Bool # (>=) :: Terabyte -> Terabyte -> Bool # max :: Terabyte -> Terabyte -> Terabyte # min :: Terabyte -> Terabyte -> Terabyte #
Real Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods toRational :: Terabyte -> Rational #
Show Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods showsPrec :: Int -> Terabyte -> ShowS # show :: Terabyte -> String # showList :: [Terabyte] -> ShowS #
Generic Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Associated Types type Rep Terabyte :: * -> * # Methods from :: Terabyte -> Rep Terabyte x # to :: Rep Terabyte x -> Terabyte #
Arbitrary Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods arbitrary :: Gen Terabyte # shrink :: Terabyte -> [Terabyte] #
NFData Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods rnf :: Terabyte -> () #
MemoryUnit Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units Methods bytesMultiplier :: Proxy Terabyte -> Integer Source #
type Rep Terabyte Source #
Instance details Defined in Serokell.Data.Memory.Units type Rep Terabyte = D1 (MetaData "Terabyte" "Serokell.Data.Memory.Units" "serokell-util-0.10.0-ABO96GElPTlE59q6YkXtOP" True) (C1 (MetaCons "Terabyte" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

Pretty printing

unitBuilder :: MemoryUnit unit => unit -> Builder Source #

Construct Text Builder.

memory :: MemoryUnit unit => Format r (unit -> r) Source #

Formatter for formatting library.

Helpers

toBytes :: forall unit. MemoryUnit unit => unit -> Integer Source #

Convert given memory unit into integer representing bytes.

fromBytes :: forall unit. MemoryUnit unit => Integer -> unit Source #

Convert given number of bytes into memory unit, flooring value if necessary.

convertUnit :: (MemoryUnit a, MemoryUnit b) => a -> b Source #

Conversion between memory units.