Safe Haskell	Safe-Inferred
Language	Haskell2010

Pythia.Services.Memory.Types

Description

This module provides the core types describing the memory.

Since: 0.1

Synopsis

data MemoryApp = MemoryAppFree
newtype Memory = MkMemory {
- unMemory :: Bytes B Natural
}
data SystemMemory = MkSystemMemory {
- total :: Memory
- used :: Memory
}

Documentation

data MemoryApp Source #

Determines how we should query the system for memory usage.

Since: 0.1

Constructors

MemoryAppFree

Uses the free utility.

Since: 0.1

Instances

Instances details

Bounded MemoryApp Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods minBound :: MemoryApp # maxBound :: MemoryApp #
Enum MemoryApp Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods succ :: MemoryApp -> MemoryApp # pred :: MemoryApp -> MemoryApp # toEnum :: Int -> MemoryApp # fromEnum :: MemoryApp -> Int # enumFrom :: MemoryApp -> [MemoryApp] # enumFromThen :: MemoryApp -> MemoryApp -> [MemoryApp] # enumFromTo :: MemoryApp -> MemoryApp -> [MemoryApp] # enumFromThenTo :: MemoryApp -> MemoryApp -> MemoryApp -> [MemoryApp] #
Generic MemoryApp Source #
Instance details Defined in Pythia.Services.Memory.Types Associated Types type Rep MemoryApp :: Type -> Type # Methods from :: MemoryApp -> Rep MemoryApp x # to :: Rep MemoryApp x -> MemoryApp #
Show MemoryApp Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods showsPrec :: Int -> MemoryApp -> ShowS # show :: MemoryApp -> String # showList :: [MemoryApp] -> ShowS #
NFData MemoryApp Source #	Since: 0.1.0.0
Instance details Defined in Pythia.Services.Memory.Types Methods rnf :: MemoryApp -> () #
Eq MemoryApp Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods (==) :: MemoryApp -> MemoryApp -> Bool # (/=) :: MemoryApp -> MemoryApp -> Bool #
Ord MemoryApp Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods compare :: MemoryApp -> MemoryApp -> Ordering # (<) :: MemoryApp -> MemoryApp -> Bool # (<=) :: MemoryApp -> MemoryApp -> Bool # (>) :: MemoryApp -> MemoryApp -> Bool # (>=) :: MemoryApp -> MemoryApp -> Bool # max :: MemoryApp -> MemoryApp -> MemoryApp # min :: MemoryApp -> MemoryApp -> MemoryApp #
type Rep MemoryApp Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types type Rep MemoryApp = D1 ('MetaData "MemoryApp" "Pythia.Services.Memory.Types" "pythia-0.1-inplace" 'False) (C1 ('MetaCons "MemoryAppFree" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Memory Source #

Represents the current memory usage. The type parameter is some wrapper around the memory intended to enforce an invariant e.g. non-negative.

Since: 0.1

Constructors

MkMemory
Fields unMemory :: Bytes B Natural

Instances

Instances details

Generic Memory Source #
Instance details Defined in Pythia.Services.Memory.Types Associated Types type Rep Memory :: Type -> Type # Methods from :: Memory -> Rep Memory x # to :: Rep Memory x -> Memory #
Show Memory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods showsPrec :: Int -> Memory -> ShowS # show :: Memory -> String # showList :: [Memory] -> ShowS #
NFData Memory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods rnf :: Memory -> () #
Eq Memory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods (==) :: Memory -> Memory -> Bool # (/=) :: Memory -> Memory -> Bool #
Display Memory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods displayBuilder :: Memory -> Builder Source # displayList :: [Memory] -> Builder Source # displayPrec :: Int -> Memory -> Builder Source #
(k ~ An_Iso, a ~ Bytes 'B Natural, b ~ Bytes 'B Natural) => LabelOptic "unMemory" k Memory Memory a b Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods labelOptic :: Optic k NoIx Memory Memory a b Source #
type Rep Memory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types type Rep Memory = D1 ('MetaData "Memory" "Pythia.Services.Memory.Types" "pythia-0.1-inplace" 'True) (C1 ('MetaCons "MkMemory" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bytes 'B Natural))))

data SystemMemory Source #

Represents the current memory usage.

Since: 0.1

Constructors

MkSystemMemory
Fields total :: Memory The total memory on this system. Since: 0.1 used :: Memory The memory currently in use. This does not include the cache. Since: 0.1

Instances

Instances details

Generic SystemMemory Source #
Instance details Defined in Pythia.Services.Memory.Types Associated Types type Rep SystemMemory :: Type -> Type # Methods from :: SystemMemory -> Rep SystemMemory x # to :: Rep SystemMemory x -> SystemMemory #
Show SystemMemory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods showsPrec :: Int -> SystemMemory -> ShowS # show :: SystemMemory -> String # showList :: [SystemMemory] -> ShowS #
NFData SystemMemory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods rnf :: SystemMemory -> () #
Eq SystemMemory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods (==) :: SystemMemory -> SystemMemory -> Bool # (/=) :: SystemMemory -> SystemMemory -> Bool #
Display SystemMemory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods displayBuilder :: SystemMemory -> Builder Source # displayList :: [SystemMemory] -> Builder Source # displayPrec :: Int -> SystemMemory -> Builder Source #
(k ~ A_Lens, a ~ Memory, b ~ Memory) => LabelOptic "total" k SystemMemory SystemMemory a b Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods labelOptic :: Optic k NoIx SystemMemory SystemMemory a b Source #
(k ~ A_Lens, a ~ Memory, b ~ Memory) => LabelOptic "used" k SystemMemory SystemMemory a b Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types Methods labelOptic :: Optic k NoIx SystemMemory SystemMemory a b Source #
type Rep SystemMemory Source #	Since: 0.1
Instance details Defined in Pythia.Services.Memory.Types type Rep SystemMemory = D1 ('MetaData "SystemMemory" "Pythia.Services.Memory.Types" "pythia-0.1-inplace" 'False) (C1 ('MetaCons "MkSystemMemory" 'PrefixI 'True) (S1 ('MetaSel ('Just "total") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Memory) :*: S1 ('MetaSel ('Just "used") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Memory)))