Safe Haskell	Safe-Inferred
Language	Haskell2010

Source.Language

Synopsis

data Language
- = Unknown
- | Go
- | Haskell
- | Java
- | JavaScript
- | JSON
- | JSX
- | Markdown
- | PHP
- | Python
- | Ruby
- | TypeScript
- | TSX
- | CodeQL
class SLanguage (lang :: Language) where
- reflect :: proxy lang -> Language
extensionsForLanguage :: Language -> [String]
knownLanguage :: Language -> Bool
forPath :: AbsRel ar => File ar -> Language
textToLanguage :: Text -> Language
languageToText :: Language -> Text

Documentation

data Language Source #

The various languages we support.

Constructors

Unknown
Go
Haskell
Java
JavaScript
JSON
JSX
Markdown
PHP
Python
Ruby
TypeScript
TSX
CodeQL

Instances

Instances details

Bounded Language Source #
Instance details Defined in Source.Language Methods minBound :: Language maxBound :: Language
Enum Language Source #
Instance details Defined in Source.Language Methods succ :: Language -> Language pred :: Language -> Language toEnum :: Int -> Language fromEnum :: Language -> Int enumFrom :: Language -> [Language] enumFromThen :: Language -> Language -> [Language] enumFromTo :: Language -> Language -> [Language] enumFromThenTo :: Language -> Language -> Language -> [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 Methods readsPrec :: Int -> ReadS Language readList :: ReadS [Language] readPrec :: ReadPrec Language readListPrec :: ReadPrec [Language]
Show Language Source #
Instance details Defined in Source.Language Methods showsPrec :: Int -> Language -> ShowS show :: Language -> String showList :: [Language] -> ShowS
Eq Language Source #
Instance details Defined in Source.Language Methods (==) :: Language -> Language -> Bool (/=) :: Language -> Language -> Bool
Ord Language Source #
Instance details Defined in Source.Language Methods compare :: Language -> Language -> Ordering (<) :: Language -> Language -> Bool (<=) :: Language -> Language -> Bool (>) :: Language -> Language -> Bool (>=) :: Language -> Language -> Bool max :: Language -> Language -> Language min :: Language -> Language -> 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 Methods parseJSON :: Value -> Parser Language parseJSONList :: Value -> Parser [Language]
ToJSON Language Source #
Instance details Defined in Source.Language Methods toJSON :: Language -> Value toEncoding :: Language -> Encoding toJSONList :: [Language] -> Value toEncodingList :: [Language] -> Encoding
type Rep Language Source #
Instance details Defined in Source.Language type Rep Language = D1 ('MetaData "Language" "Source.Language" "semantic-source-0.1.0.2-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 #

extensionsForLanguage :: Language -> [String] Source #

knownLanguage :: Language -> Bool Source #

Predicate failing on Unknown and passing in all other cases.

forPath :: AbsRel ar => File ar -> Language Source #

textToLanguage :: Text -> Language Source #

languageToText :: Language -> Text Source #