Futhark.Analysis.Metrics

Abstract Syntax Tree metrics. This is used in the futhark-test program.

Documentation

newtype AstMetrics

Constructors

AstMetrics (Map Text Int)

Instances

Read AstMetrics

Defined in Futhark.Analysis.Metrics

Methods

readsPrec :: Int -> ReadS AstMetrics

readList :: ReadS [AstMetrics]

readPrec :: ReadPrec AstMetrics

readListPrec :: ReadPrec [AstMetrics]

Show AstMetrics

Defined in Futhark.Analysis.Metrics

Methods

showsPrec :: Int -> AstMetrics -> ShowS

show :: AstMetrics -> String

showList :: [AstMetrics] -> ShowS

progMetrics :: OpMetrics (Op lore) => Prog lore -> AstMetrics

Extensibility

class OpMetrics op where

Methods

opMetrics :: op -> MetricsM ()

Instances

OpMetrics ()

Defined in Futhark.Analysis.Metrics

Methods

opMetrics :: () -> MetricsM ()

OpMetrics SizeOp

Defined in Futhark.Representation.Kernels.Kernel

Methods

opMetrics :: SizeOp -> MetricsM ()

OpMetrics (Op lore) => OpMetrics (SOAC lore)

Defined in Futhark.Representation.SOACS.SOAC

Methods

opMetrics :: SOAC lore -> MetricsM ()

OpMetrics (Op lore) => OpMetrics (SegOp lore)

Defined in Futhark.Representation.Kernels.Kernel

Methods

opMetrics :: SegOp lore -> MetricsM ()

OpMetrics inner => OpMetrics (MemOp inner)

Defined in Futhark.Representation.ExplicitMemory

Methods

opMetrics :: MemOp inner -> MetricsM ()

(OpMetrics (Op lore), OpMetrics op) => OpMetrics (HostOp lore op)

Defined in Futhark.Representation.Kernels.Kernel

Methods

opMetrics :: HostOp lore op -> MetricsM ()

seen :: Text -> MetricsM ()

inside :: Text -> MetricsM () -> MetricsM ()

data MetricsM a

Instances

Monad MetricsM

Defined in Futhark.Analysis.Metrics

Methods

(>>=) :: MetricsM a -> (a -> MetricsM b) -> MetricsM b

(>>) :: MetricsM a -> MetricsM b -> MetricsM b

return :: a -> MetricsM a

Functor MetricsM

Defined in Futhark.Analysis.Metrics

Methods

fmap :: (a -> b) -> MetricsM a -> MetricsM b

(<$) :: a -> MetricsM b -> MetricsM a

Applicative MetricsM

Defined in Futhark.Analysis.Metrics

Methods

pure :: a -> MetricsM a

(<*>) :: MetricsM (a -> b) -> MetricsM a -> MetricsM b

liftA2 :: (a -> b -> c) -> MetricsM a -> MetricsM b -> MetricsM c

(*>) :: MetricsM a -> MetricsM b -> MetricsM b

(<*) :: MetricsM a -> MetricsM b -> MetricsM a

bodyMetrics :: OpMetrics (Op lore) => Body lore -> MetricsM ()

bindingMetrics :: OpMetrics (Op lore) => Stm lore -> MetricsM ()

lambdaMetrics :: OpMetrics (Op lore) => Lambda lore -> MetricsM ()