semantic-source-0.1.0.0: Types and functionality for working with source code

Safe HaskellNone
LanguageHaskell2010

Source.Language

Synopsis

Documentation

data Language Source #

The various languages we support.

Instances
Bounded Language Source # 
Instance details

Defined in Source.Language

Enum 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

Read Language Source # 
Instance details

Defined in Source.Language

Show 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 #

Hashable Language Source # 
Instance details

Defined in Source.Language

Methods

hashWithSalt :: Int -> Language -> Int #

hash :: Language -> Int #

ToJSON Language Source # 
Instance details

Defined in Source.Language

FromJSON 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.1.0.0-DesnhU0NCffKxegt7Q4ngW" 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
SLanguage Unknown Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy Unknown -> 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 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 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 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 CodeQL Source # 
Instance details

Defined in Source.Language

Methods

reflect :: proxy CodeQL -> Language Source #

knownLanguage :: Language -> Bool Source #

Predicate failing on Unknown and passing in all other cases.