| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Source.Language
Synopsis
- data Language
- class SLanguage (lang :: Language) where
- extensionsForLanguage :: Language -> [String]
- knownLanguage :: Language -> Bool
- forPath :: AbsRel ar => File ar -> Language
- textToLanguage :: Text -> Language
- languageToText :: Language -> Text
Documentation
The various languages we support.
Constructors
| Unknown | |
| Go | |
| Haskell | |
| Java | |
| JavaScript | |
| JSON | |
| JSX | |
| Markdown | |
| PHP | |
| Python | |
| Ruby | |
| TypeScript | |
| TSX | |
| CodeQL |
Instances
| Bounded Language Source # | |
Defined in Source.Language | |
| Enum Language Source # | |
Defined in Source.Language | |
| Generic Language Source # | |
| Read Language Source # | |
Defined in Source.Language | |
| Show Language Source # | |
| Eq Language Source # | |
| Ord Language Source # | |
| Hashable Language Source # | |
Defined in Source.Language | |
| FromJSON Language Source # | |
Defined in Source.Language | |
| ToJSON Language Source # | |
Defined in Source.Language Methods toEncoding :: Language -> Encoding toJSONList :: [Language] -> Value toEncodingList :: [Language] -> Encoding | |
| type Rep Language Source # | |
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.
Instances
| SLanguage 'CodeQL Source # | |
| SLanguage 'Go Source # | |
| SLanguage 'Haskell Source # | |
| SLanguage 'JSON Source # | |
| SLanguage 'JSX Source # | |
| SLanguage 'Java Source # | |
| SLanguage 'JavaScript Source # | |
Defined in Source.Language Methods reflect :: proxy 'JavaScript -> Language Source # | |
| SLanguage 'Markdown Source # | |
| SLanguage 'PHP Source # | |
| SLanguage 'Python Source # | |
| SLanguage 'Ruby Source # | |
| SLanguage 'TypeScript Source # | |
Defined in Source.Language Methods reflect :: proxy 'TypeScript -> Language Source # | |
| SLanguage 'Unknown Source # | |
extensionsForLanguage :: Language -> [String] Source #
knownLanguage :: Language -> Bool Source #
Predicate failing on Unknown and passing in all other cases.
textToLanguage :: Text -> Language Source #
languageToText :: Language -> Text Source #