semantic-source-0.2.0.1: Types and functionality for working with source code
Safe HaskellSafe-Inferred
LanguageHaskell2010

Source.Language

Synopsis

Documentation

data Language Source #

The various languages we support.

Instances

Instances details
Bounded Language Source # 
Instance details

Defined in Source.Language

Enum Language Source # 
Instance details

Defined in Source.Language

Generic Language Source # 
Instance details

Defined in Source.Language

Associated Types

type Rep Language :: Type -> Type #

Methods

from :: Language -> Rep Language x #

to :: Rep Language x -> Language #

Read Language Source # 
Instance details

Defined in Source.Language

Show Language Source # 
Instance details

Defined in Source.Language

Eq Language Source # 
Instance details

Defined in Source.Language

Ord Language Source # 
Instance details

Defined in Source.Language

Hashable Language Source # 
Instance details

Defined in Source.Language

Methods

hashWithSalt :: Int -> Language -> Int #

hash :: Language -> Int #

FromJSON Language Source # 
Instance details

Defined in Source.Language

ToJSON Language Source # 
Instance details

Defined in Source.Language

type Rep Language Source # 
Instance details

Defined in Source.Language

type Rep Language = D1 ('MetaData "Language" "Source.Language" "semantic-source-0.2.0.1-inplace" 'False) (((C1 ('MetaCons "Unknown" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Go" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Haskell" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Java" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JavaScript" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "JSON" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JSX" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Markdown" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PHP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Python" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Ruby" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeScript" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TSX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CodeQL" 'PrefixI 'False) (U1 :: Type -> Type)))))

class SLanguage (lang :: Language) where Source #

Reifies a proxied type-level Language to a value.

Methods

reflect :: proxy lang -> Language Source #

Instances

Instances details
SLanguage 'CodeQL Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'CodeQL -> Language Source #

SLanguage 'Go Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'Go -> Language Source #

SLanguage 'Haskell Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'Haskell -> Language Source #

SLanguage 'JSON Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'JSON -> Language Source #

SLanguage 'JSX Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'JSX -> Language Source #

SLanguage 'Java Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'Java -> Language Source #

SLanguage 'JavaScript Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'JavaScript -> Language Source #

SLanguage 'Markdown Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'Markdown -> Language Source #

SLanguage 'PHP Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'PHP -> Language Source #

SLanguage 'Python Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'Python -> Language Source #

SLanguage 'Ruby Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'Ruby -> Language Source #

SLanguage 'TypeScript Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'TypeScript -> Language Source #

SLanguage 'Unknown Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy 'Unknown -> Language Source #

knownLanguage :: Language -> Bool Source #

Predicate failing on Unknown and passing in all other cases.