eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.Metrics.Data

Documentation

data Metrics a Source #

Constructors

Metrics 

Fields

Instances

Instances details
Foldable Metrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

fold :: Monoid m => Metrics m -> m #

foldMap :: Monoid m => (a -> m) -> Metrics a -> m #

foldMap' :: Monoid m => (a -> m) -> Metrics a -> m #

foldr :: (a -> b -> b) -> b -> Metrics a -> b #

foldr' :: (a -> b -> b) -> b -> Metrics a -> b #

foldl :: (b -> a -> b) -> b -> Metrics a -> b #

foldl' :: (b -> a -> b) -> b -> Metrics a -> b #

foldr1 :: (a -> a -> a) -> Metrics a -> a #

foldl1 :: (a -> a -> a) -> Metrics a -> a #

toList :: Metrics a -> [a] #

null :: Metrics a -> Bool #

length :: Metrics a -> Int #

elem :: Eq a => a -> Metrics a -> Bool #

maximum :: Ord a => Metrics a -> a #

minimum :: Ord a => Metrics a -> a #

sum :: Num a => Metrics a -> a #

product :: Num a => Metrics a -> a #

Traversable Metrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

traverse :: Applicative f => (a -> f b) -> Metrics a -> f (Metrics b) #

sequenceA :: Applicative f => Metrics (f a) -> f (Metrics a) #

mapM :: Monad m => (a -> m b) -> Metrics a -> m (Metrics b) #

sequence :: Monad m => Metrics (m a) -> m (Metrics a) #

Applicative Metrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

pure :: a -> Metrics a #

(<*>) :: Metrics (a -> b) -> Metrics a -> Metrics b #

liftA2 :: (a -> b -> c) -> Metrics a -> Metrics b -> Metrics c #

(*>) :: Metrics a -> Metrics b -> Metrics b #

(<*) :: Metrics a -> Metrics b -> Metrics a #

Functor Metrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

fmap :: (a -> b) -> Metrics a -> Metrics b #

(<$) :: a -> Metrics b -> Metrics a #

FromJSON a => FromJSON (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

ToJSON a => ToJSON (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Num a => Monoid (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

mempty :: Metrics a #

mappend :: Metrics a -> Metrics a -> Metrics a #

mconcat :: [Metrics a] -> Metrics a #

Num a => Semigroup (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

(<>) :: Metrics a -> Metrics a -> Metrics a #

sconcat :: NonEmpty (Metrics a) -> Metrics a #

stimes :: Integral b => b -> Metrics a -> Metrics a #

Generic (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Associated Types

type Rep (Metrics a) :: Type -> Type #

Methods

from :: Metrics a -> Rep (Metrics a) x #

to :: Rep (Metrics a) x -> Metrics a #

Num a => Num (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

(+) :: Metrics a -> Metrics a -> Metrics a #

(-) :: Metrics a -> Metrics a -> Metrics a #

(*) :: Metrics a -> Metrics a -> Metrics a #

negate :: Metrics a -> Metrics a #

abs :: Metrics a -> Metrics a #

signum :: Metrics a -> Metrics a #

fromInteger :: Integer -> Metrics a #

Fractional a => Fractional (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

(/) :: Metrics a -> Metrics a -> Metrics a #

recip :: Metrics a -> Metrics a #

fromRational :: Rational -> Metrics a #

Show a => Show (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

showsPrec :: Int -> Metrics a -> ShowS #

show :: Metrics a -> String #

showList :: [Metrics a] -> ShowS #

Eq a => Eq (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Methods

(==) :: Metrics a -> Metrics a -> Bool #

(/=) :: Metrics a -> Metrics a -> Bool #

type Rep (Metrics a) Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep (Metrics a) = D1 ('MetaData "Metrics" "Language.EO.Phi.Metrics.Data" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "Metrics" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dataless") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "applications") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :*: (S1 ('MetaSel ('Just "formations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "dispatches") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

data BindingMetrics Source #

Constructors

BindingMetrics 

Instances

Instances details
FromJSON BindingMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

ToJSON BindingMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Generic BindingMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Associated Types

type Rep BindingMetrics :: Type -> Type #

Show BindingMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Eq BindingMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep BindingMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep BindingMetrics = D1 ('MetaData "BindingMetrics" "Language.EO.Phi.Metrics.Data" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "BindingMetrics" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "metrics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetricsCount)))

type Path = [String] Source #

data BindingsByPathMetrics Source #

Instances

Instances details
FromJSON BindingsByPathMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

ToJSON BindingsByPathMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Generic BindingsByPathMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Associated Types

type Rep BindingsByPathMetrics :: Type -> Type #

Show BindingsByPathMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Eq BindingsByPathMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep BindingsByPathMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep BindingsByPathMetrics = D1 ('MetaData "BindingsByPathMetrics" "Language.EO.Phi.Metrics.Data" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "BindingsByPathMetrics" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path) :*: S1 ('MetaSel ('Just "bindingsMetrics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BindingMetrics])))

data ObjectMetrics Source #

Instances

Instances details
FromJSON ObjectMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

ToJSON ObjectMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Generic ObjectMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Associated Types

type Rep ObjectMetrics :: Type -> Type #

Show ObjectMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Eq ObjectMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep ObjectMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep ObjectMetrics = D1 ('MetaData "ObjectMetrics" "Language.EO.Phi.Metrics.Data" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "ObjectMetrics" 'PrefixI 'True) (S1 ('MetaSel ('Just "bindingsByPathMetrics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BindingsByPathMetrics)) :*: S1 ('MetaSel ('Just "thisObjectMetrics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetricsCount)))

data ProgramMetrics Source #

Instances

Instances details
FromJSON ProgramMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

ToJSON ProgramMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Generic ProgramMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Associated Types

type Rep ProgramMetrics :: Type -> Type #

Show ProgramMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

Eq ProgramMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep ProgramMetrics Source # 
Instance details

Defined in Language.EO.Phi.Metrics.Data

type Rep ProgramMetrics = D1 ('MetaData "ProgramMetrics" "Language.EO.Phi.Metrics.Data" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "ProgramMetrics" 'PrefixI 'True) (S1 ('MetaSel ('Just "bindingsByPathMetrics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BindingsByPathMetrics)) :*: S1 ('MetaSel ('Just "programMetrics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetricsCount)))