Safe Haskell	None
Language	Haskell2010

Language.Haskell.Homplexity.CodeFragment

Description

This module generalizes over types of code fragments that may need to be iterated upon and measured separately.

Synopsis

class (Show c, Data (AST c), Data c) => CodeFragment c where
- fragmentName :: c -> String
- fragmentSlice :: c -> SrcSlice
occurs :: (CodeFragment c, Data from) => from -> [c]
occursOf :: (Data from, CodeFragment c) => Proxy c -> from -> [c]
allOccurs :: (CodeFragment c, Data from) => from -> [c]
allOccursOf :: (Data from, CodeFragment c) => Proxy c -> from -> [c]
newtype Program = Program {
- allModules :: [Module SrcLoc]
}
programT :: Proxy Program
program :: [Module SrcLoc] -> Program
data Module l
- = Module l (Maybe (ModuleHead l)) [ModulePragma l] [ImportDecl l] [Decl l]
- | XmlPage l (ModuleName l) [ModulePragma l] (XName l) [XAttr l] (Maybe (Exp l)) [Exp l]
- | XmlHybrid l (Maybe (ModuleHead l)) [ModulePragma l] [ImportDecl l] [Decl l] (XName l) [XAttr l] (Maybe (Exp l)) [Exp l]
moduleT :: Proxy (Module SrcLoc)
data Function = Function {
- functionNames :: [String]
- functionLocations :: [SrcLoc]
- functionRhs :: [Rhs SrcLoc]
- functionBinds :: [Binds SrcLoc]
}
functionT :: Proxy Function
data DataDef = DataDef {
- dataDefName :: String
- dataDefCtors :: Either [QualConDecl SrcLoc] [GadtDecl SrcLoc]
}
dataDefT :: Proxy DataDef
data TypeSignature = TypeSignature {
- loc :: SrcLoc
- identifiers :: [Name SrcLoc]
- theType :: Type SrcLoc
}
typeSignatureT :: Proxy TypeSignature
data TypeClass = TypeClass {
- tcName :: String
- tcDecls :: Maybe [ClassDecl SrcLoc]
}
typeClassT :: Proxy TypeClass
fragmentLoc :: CodeFragment c => c -> SrcLoc

Documentation

class (Show c, Data (AST c), Data c) => CodeFragment c where Source #

Class CodeFragment allows for: * both selecting direct or all descendants of the given type of object within another structure (with occurs and allOccurs) * naming the object to allow user to distinguish it.

In order to compute selection, we just need to know which AST nodes contain the given object, and how to extract this given object from AST, if it is there (matchAST).:w

Minimal complete definition

matchAST, fragmentName

Methods

fragmentName :: c -> String Source #

fragmentSlice :: c -> SrcSlice Source #

Instances

CodeFragment TypeClass Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST TypeClass :: Type Methods matchAST :: AST TypeClass -> Maybe TypeClass fragmentName :: TypeClass -> String Source # fragmentSlice :: TypeClass -> SrcSlice Source #
CodeFragment TypeSignature Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST TypeSignature :: Type Methods matchAST :: AST TypeSignature -> Maybe TypeSignature fragmentName :: TypeSignature -> String Source # fragmentSlice :: TypeSignature -> SrcSlice Source #
CodeFragment DataDef Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST DataDef :: Type Methods matchAST :: AST DataDef -> Maybe DataDef fragmentName :: DataDef -> String Source # fragmentSlice :: DataDef -> SrcSlice Source #
CodeFragment Function Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST Function :: Type Methods matchAST :: AST Function -> Maybe Function fragmentName :: Function -> String Source # fragmentSlice :: Function -> SrcSlice Source #
CodeFragment Program Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST Program :: Type Methods matchAST :: AST Program -> Maybe Program fragmentName :: Program -> String Source # fragmentSlice :: Program -> SrcSlice Source #
CodeFragment (Module SrcLoc) Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST (Module SrcLoc) :: Type Methods matchAST :: AST (Module SrcLoc) -> Maybe (Module SrcLoc) fragmentName :: Module SrcLoc -> String Source # fragmentSlice :: Module SrcLoc -> SrcSlice Source #

occurs :: (CodeFragment c, Data from) => from -> [c] Source #

Direct occurences of given CodeFragment fragment within another structure.

occursOf :: (Data from, CodeFragment c) => Proxy c -> from -> [c] Source #

Explicitly typed variant of occurs.

allOccurs :: (CodeFragment c, Data from) => from -> [c] Source #

allOccursOf :: (Data from, CodeFragment c) => Proxy c -> from -> [c] Source #

Explicitly typed variant of allOccurs.

newtype Program Source #

Program

Constructors

Program
Fields allModules :: [Module SrcLoc]

Instances

Data Program Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Program -> c Program # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Program # toConstr :: Program -> Constr # dataTypeOf :: Program -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Program) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Program) # gmapT :: (forall b. Data b => b -> b) -> Program -> Program # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Program -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Program -> r # gmapQ :: (forall d. Data d => d -> u) -> Program -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Program -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Program -> m Program # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Program -> m Program # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Program -> m Program #
Show Program Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #
CodeFragment Program Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST Program :: Type Methods matchAST :: AST Program -> Maybe Program fragmentName :: Program -> String Source # fragmentSlice :: Program -> SrcSlice Source #

programT :: Proxy Program Source #

Proxy for passing Program type as an argument.

program :: [Module SrcLoc] -> Program Source #

Smart constructor for adding cross-references in the future.

data Module l #

Constructors

Module l (Maybe (ModuleHead l)) [ModulePragma l] [ImportDecl l] [Decl l]
XmlPage l (ModuleName l) [ModulePragma l] (XName l) [XAttr l] (Maybe (Exp l)) [Exp l]
XmlHybrid l (Maybe (ModuleHead l)) [ModulePragma l] [ImportDecl l] [Decl l] (XName l) [XAttr l] (Maybe (Exp l)) [Exp l]

Instances

Functor Module
Instance details Defined in Language.Haskell.Exts.Syntax Methods fmap :: (a -> b) -> Module a -> Module b # (<$) :: a -> Module b -> Module a #
Foldable Module
Instance details Defined in Language.Haskell.Exts.Syntax Methods fold :: Monoid m => Module m -> m # foldMap :: Monoid m => (a -> m) -> Module a -> m # foldr :: (a -> b -> b) -> b -> Module a -> b # foldr' :: (a -> b -> b) -> b -> Module a -> b # foldl :: (b -> a -> b) -> b -> Module a -> b # foldl' :: (b -> a -> b) -> b -> Module a -> b # foldr1 :: (a -> a -> a) -> Module a -> a # foldl1 :: (a -> a -> a) -> Module a -> a # toList :: Module a -> [a] # null :: Module a -> Bool # length :: Module a -> Int # elem :: Eq a => a -> Module a -> Bool # maximum :: Ord a => Module a -> a # minimum :: Ord a => Module a -> a # sum :: Num a => Module a -> a # product :: Num a => Module a -> a #
Traversable Module
Instance details Defined in Language.Haskell.Exts.Syntax Methods traverse :: Applicative f => (a -> f b) -> Module a -> f (Module b) # sequenceA :: Applicative f => Module (f a) -> f (Module a) # mapM :: Monad m => (a -> m b) -> Module a -> m (Module b) # sequence :: Monad m => Module (m a) -> m (Module a) #
ExactP Module
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Module SrcSpanInfo -> EP ()
AppFixity Module
Instance details Defined in Language.Haskell.Exts.Fixity Methods applyFixities :: MonadFail m => [Fixity] -> Module SrcSpanInfo -> m (Module SrcSpanInfo)
Annotated Module
Instance details Defined in Language.Haskell.Exts.Syntax Methods ann :: Module l -> l amap :: (l -> l) -> Module l -> Module l
Eq l => Eq (Module l)
Instance details Defined in Language.Haskell.Exts.Syntax Methods (==) :: Module l -> Module l -> Bool # (/=) :: Module l -> Module l -> Bool #
Data l => Data (Module l)
Instance details Defined in Language.Haskell.Exts.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module l -> c (Module l) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Module l) # toConstr :: Module l -> Constr # dataTypeOf :: Module l -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Module l)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Module l)) # gmapT :: (forall b. Data b => b -> b) -> Module l -> Module l # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module l -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module l -> r # gmapQ :: (forall d. Data d => d -> u) -> Module l -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Module l -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module l -> m (Module l) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module l -> m (Module l) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module l -> m (Module l) #
Ord l => Ord (Module l)
Instance details Defined in Language.Haskell.Exts.Syntax Methods compare :: Module l -> Module l -> Ordering # (<) :: Module l -> Module l -> Bool # (<=) :: Module l -> Module l -> Bool # (>) :: Module l -> Module l -> Bool # (>=) :: Module l -> Module l -> Bool # max :: Module l -> Module l -> Module l # min :: Module l -> Module l -> Module l #
Show l => Show (Module l)
Instance details Defined in Language.Haskell.Exts.Syntax Methods showsPrec :: Int -> Module l -> ShowS # show :: Module l -> String # showList :: [Module l] -> ShowS #
Generic (Module l)
Instance details Defined in Language.Haskell.Exts.Syntax Associated Types type Rep (Module l) :: Type -> Type # Methods from :: Module l -> Rep (Module l) x # to :: Rep (Module l) x -> Module l #
Pretty (Module pos)
Instance details Defined in Language.Haskell.Exts.Pretty Methods pretty :: Module pos -> Doc prettyPrec :: Int -> Module pos -> Doc
CodeFragment (Module SrcLoc) Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST (Module SrcLoc) :: Type Methods matchAST :: AST (Module SrcLoc) -> Maybe (Module SrcLoc) fragmentName :: Module SrcLoc -> String Source # fragmentSlice :: Module SrcLoc -> SrcSlice Source #
type Rep (Module l)
Instance details Defined in Language.Haskell.Exts.Syntax type Rep (Module l) = D1 (MetaData "Module" "Language.Haskell.Exts.Syntax" "haskell-src-exts-1.23.0-IvjfjJasXCo89gWhp1TrsK" False) (C1 (MetaCons "Module" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 l) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ModuleHead l)))) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ModulePragma l]) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ImportDecl l]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Decl l])))) :+: (C1 (MetaCons "XmlPage" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 l) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ModuleName l)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ModulePragma l]))) :: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (XName l)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [XAttr l])) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Exp l))) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp l])))) :+: C1 (MetaCons "XmlHybrid" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 l) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ModuleHead l)))) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ModulePragma l]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ImportDecl l]))) :: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Decl l]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (XName l))) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [XAttr l]) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Exp l))) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp l])))))))

moduleT :: Proxy (Module SrcLoc) Source #

Proxy for passing Module type as an argument.

data Function Source #

Alias for a function declaration

Constructors

Function
Fields functionNames :: [String] functionLocations :: [SrcLoc] functionRhs :: [Rhs SrcLoc] functionBinds :: [Binds SrcLoc]

Instances

Data Function Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Function -> c Function # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Function # toConstr :: Function -> Constr # dataTypeOf :: Function -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Function) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Function) # gmapT :: (forall b. Data b => b -> b) -> Function -> Function # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Function -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Function -> r # gmapQ :: (forall d. Data d => d -> u) -> Function -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Function -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Function -> m Function # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Function -> m Function # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Function -> m Function #
Show Function Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
CodeFragment Function Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST Function :: Type Methods matchAST :: AST Function -> Maybe Function fragmentName :: Function -> String Source # fragmentSlice :: Function -> SrcSlice Source #
Metric Depth Function Source #
Instance details Defined in Language.Haskell.Homplexity.Cyclomatic Methods measure :: Function -> Depth Source #
Metric Cyclomatic Function Source #
Instance details Defined in Language.Haskell.Homplexity.Cyclomatic Methods measure :: Function -> Cyclomatic Source #

functionT :: Proxy Function Source #

Proxy for passing Function type as an argument.

data DataDef Source #

Alias for a data declaration

Constructors

DataDef
Fields dataDefName :: String dataDefCtors :: Either [QualConDecl SrcLoc] [GadtDecl SrcLoc]

Instances

Data DataDef Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataDef -> c DataDef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataDef # toConstr :: DataDef -> Constr # dataTypeOf :: DataDef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataDef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataDef) # gmapT :: (forall b. Data b => b -> b) -> DataDef -> DataDef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataDef -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataDef -> r # gmapQ :: (forall d. Data d => d -> u) -> DataDef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DataDef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataDef -> m DataDef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataDef -> m DataDef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataDef -> m DataDef #
Show DataDef Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods showsPrec :: Int -> DataDef -> ShowS # show :: DataDef -> String # showList :: [DataDef] -> ShowS #
CodeFragment DataDef Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST DataDef :: Type Methods matchAST :: AST DataDef -> Maybe DataDef fragmentName :: DataDef -> String Source # fragmentSlice :: DataDef -> SrcSlice Source #
Metric RecordFieldsCount DataDef Source #
Instance details Defined in Language.Haskell.Homplexity.RecordFieldsCount Methods measure :: DataDef -> RecordFieldsCount Source #

dataDefT :: Proxy DataDef Source #

Proxy for passing DataDef type as an argument.

data TypeSignature Source #

Type alias for a type signature of a function as a CodeFragment

Constructors

TypeSignature
Fields loc :: SrcLoc identifiers :: [Name SrcLoc] theType :: Type SrcLoc

Instances

Data TypeSignature Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeSignature -> c TypeSignature # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeSignature # toConstr :: TypeSignature -> Constr # dataTypeOf :: TypeSignature -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeSignature) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeSignature) # gmapT :: (forall b. Data b => b -> b) -> TypeSignature -> TypeSignature # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeSignature -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeSignature -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeSignature -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeSignature -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeSignature -> m TypeSignature # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSignature -> m TypeSignature # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSignature -> m TypeSignature #
Show TypeSignature Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods showsPrec :: Int -> TypeSignature -> ShowS # show :: TypeSignature -> String # showList :: [TypeSignature] -> ShowS #
CodeFragment TypeSignature Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST TypeSignature :: Type Methods matchAST :: AST TypeSignature -> Maybe TypeSignature fragmentName :: TypeSignature -> String Source # fragmentSlice :: TypeSignature -> SrcSlice Source #
Metric NumFunArgs TypeSignature Source #
Instance details Defined in Language.Haskell.Homplexity.TypeComplexity Methods measure :: TypeSignature -> NumFunArgs Source #
Metric ConDepth TypeSignature Source #
Instance details Defined in Language.Haskell.Homplexity.TypeComplexity Methods measure :: TypeSignature -> ConDepth Source #

typeSignatureT :: Proxy TypeSignature Source #

Proxy for passing TypeSignature type as an argument.

data TypeClass Source #

Alias for a class signature

Constructors

TypeClass
Fields tcName :: String tcDecls :: Maybe [ClassDecl SrcLoc]

Instances

Data TypeClass Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeClass -> c TypeClass # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeClass # toConstr :: TypeClass -> Constr # dataTypeOf :: TypeClass -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeClass) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeClass) # gmapT :: (forall b. Data b => b -> b) -> TypeClass -> TypeClass # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeClass -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeClass -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeClass -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeClass -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeClass -> m TypeClass # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeClass -> m TypeClass # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeClass -> m TypeClass #
Show TypeClass Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Methods showsPrec :: Int -> TypeClass -> ShowS # show :: TypeClass -> String # showList :: [TypeClass] -> ShowS #
CodeFragment TypeClass Source #
Instance details Defined in Language.Haskell.Homplexity.CodeFragment Associated Types type AST TypeClass :: Type Methods matchAST :: AST TypeClass -> Maybe TypeClass fragmentName :: TypeClass -> String Source # fragmentSlice :: TypeClass -> SrcSlice Source #
Metric AssocTypeCount TypeClass Source #
Instance details Defined in Language.Haskell.Homplexity.TypeClassComplexity Methods measure :: TypeClass -> AssocTypeCount Source #
Metric NonTypeDeclCount TypeClass Source #
Instance details Defined in Language.Haskell.Homplexity.TypeClassComplexity Methods measure :: TypeClass -> NonTypeDeclCount Source #

typeClassT :: Proxy TypeClass Source #

Proxy for passing TypeClass type as an argument.

fragmentLoc :: CodeFragment c => c -> SrcLoc Source #

First location for each CodeFragment - for convenient reporting.