Statements (55)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
language
|
| gptkbp:allows |
additional language features
|
| https://www.w3.org/2000/01/rdf-schema#label |
GHC extensions
|
| gptkbp:includes |
FunctionalDependencies
GADTs DataKinds MultiParamTypeClasses Template Haskell Type families TypeFamilies DeriveGeneric FlexibleInstances RankNTypes ScopedTypeVariables DeriveFunctor ExistentialQuantification Foreign.C.Error Foreign.C.String Foreign.Marshal Foreign.Storable ImplicitParams NamedFieldPuns NoMonomorphismRestriction PartialTypeSignatures PatternSynonyms QuantifiedConstraints RecordWildCards TemplateHaskellQuotes TypeApplications TypeOperators TypeSynonymInstances UnicodeSyntax UnliftedFFI BangPatterns CTypes ConstrainedTypes ConstraintKinds DefaultSignatures FlexibleContexts Foreign.C.Types ForeignExports ForeignFunctionInterface ForeignImports ForeignPtr GeneralizedNewtypeDeriving KindSignatures MonomorphismRestriction OverloadedStrings PolyKinds RecordPuns StablePtr StrictData TypeInType ViewPatterns |
| gptkbp:usedIn |
Glasgow_Haskell_Compiler
|