Futhark.Profile

Profiling information emitted by a running Futhark program.

Documentation

data ProfilingEvent

A thing that has occurred during execution.

Constructors

ProfilingEvent

Fields

• eventName :: Text

  Short, single line.

• eventDuration :: Double

  In microseconds.

• eventDescription :: Text

  Long, may be multiple lines.

Instances

FromJSON ProfilingEvent

Defined in Futhark.Profile

Methods

parseJSON :: Value -> Parser ProfilingEvent

parseJSONList :: Value -> Parser [ProfilingEvent]

omittedField :: Maybe ProfilingEvent

ToJSON ProfilingEvent

Defined in Futhark.Profile

Methods

toJSON :: ProfilingEvent -> Value

toEncoding :: ProfilingEvent -> Encoding

toJSONList :: [ProfilingEvent] -> Value

toEncodingList :: [ProfilingEvent] -> Encoding

omitField :: ProfilingEvent -> Bool

Show ProfilingEvent

Defined in Futhark.Profile

Methods

showsPrec :: Int -> ProfilingEvent -> ShowS

show :: ProfilingEvent -> String

showList :: [ProfilingEvent] -> ShowS

Eq ProfilingEvent

Defined in Futhark.Profile

Methods

(==) :: ProfilingEvent -> ProfilingEvent -> Bool

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

Ord ProfilingEvent

Defined in Futhark.Profile

Methods

compare :: ProfilingEvent -> ProfilingEvent -> Ordering

(<) :: ProfilingEvent -> ProfilingEvent -> Bool

(<=) :: ProfilingEvent -> ProfilingEvent -> Bool

(>) :: ProfilingEvent -> ProfilingEvent -> Bool

(>=) :: ProfilingEvent -> ProfilingEvent -> Bool

max :: ProfilingEvent -> ProfilingEvent -> ProfilingEvent

min :: ProfilingEvent -> ProfilingEvent -> ProfilingEvent

data ProfilingReport

Constructors

ProfilingReport

Fields

• profilingEvents :: [ProfilingEvent]
• profilingMemory :: Map Text Integer

  Mapping memory spaces to bytes.

Instances

FromJSON ProfilingReport

Defined in Futhark.Profile

Methods

parseJSON :: Value -> Parser ProfilingReport

parseJSONList :: Value -> Parser [ProfilingReport]

omittedField :: Maybe ProfilingReport

ToJSON ProfilingReport

Defined in Futhark.Profile

Methods

toJSON :: ProfilingReport -> Value

toEncoding :: ProfilingReport -> Encoding

toJSONList :: [ProfilingReport] -> Value

toEncodingList :: [ProfilingReport] -> Encoding

omitField :: ProfilingReport -> Bool

Show ProfilingReport

Defined in Futhark.Profile

Methods

showsPrec :: Int -> ProfilingReport -> ShowS

show :: ProfilingReport -> String

showList :: [ProfilingReport] -> ShowS

Eq ProfilingReport

Defined in Futhark.Profile

Methods

(==) :: ProfilingReport -> ProfilingReport -> Bool

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

Ord ProfilingReport

Defined in Futhark.Profile

Methods

compare :: ProfilingReport -> ProfilingReport -> Ordering

(<) :: ProfilingReport -> ProfilingReport -> Bool

(<=) :: ProfilingReport -> ProfilingReport -> Bool

(>) :: ProfilingReport -> ProfilingReport -> Bool

(>=) :: ProfilingReport -> ProfilingReport -> Bool

max :: ProfilingReport -> ProfilingReport -> ProfilingReport

min :: ProfilingReport -> ProfilingReport -> ProfilingReport

profilingReportFromText :: Text -> Maybe ProfilingReport

decodeProfilingReport :: ByteString -> Maybe ProfilingReport