Statements (85)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Programming Language Feature
|
| gptkbp:documentation |
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html
|
| gptkbp:example |
gptkb:GADTs
gptkb:CPP gptkb:TemplateHaskell Safe Strict Trustworthy Unsafe AllowAmbiguousTypes BangPatterns DataKinds DefaultSignatures DeriveAnyClass DeriveFunctor DeriveGeneric DisambiguateRecordFields DuplicateRecordFields EmptyCase EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances ForeignFunctionInterface FunctionalDependencies GeneralizedNewtypeDeriving InterruptibleFFI KindSignatures LambdaCase LinearTypes MagicHash MultiParamTypeClasses MultiWayIf NamedFieldPuns NoImplicitPrelude OverloadedLabels OverloadedLists OverloadedStrings PartialTypeSignatures PatternGuards PatternSynonyms PolyKinds QuantifiedConstraints QuasiQuotes RankNTypes RebindableSyntax RecordWildCards ScopedTypeVariables StandaloneDeriving StrictData TupleSections TypeApplications TypeFamilies TypeOperators TypeSynonymInstances UnboxedSums UnboxedTuples UndecidableInstances UndecidableSuperClasses ViewPatterns BlockArguments ConstrainedClassMethods DeriveFoldable DeriveTraversable DerivingStrategies DerivingVia ExplicitForAll ImpredicativeTypes InstanceSigs LiberalTypeSynonyms MonadComprehensions NegativeLiterals NullaryTypeClasses NumericUnderscores RecursiveDo RelaxedPolyRec RoleAnnotations StandaloneKindSignatures TransformListComp UnicodeSyntax |
| https://www.w3.org/2000/01/rdf-schema#label |
GHC Extensions
|
| gptkbp:purpose |
Enable additional language features in Haskell
|
| gptkbp:usedIn |
gptkb:Glasgow_Haskell_Compiler
|
| gptkbp:bfsParent |
gptkb:Typed_Haskell
|
| gptkbp:bfsLayer |
7
|