Jump to content
Main menu
Main menu
move to sidebar
hide
Navigation
Haskell
Wiki community
Recent changes
Random page
HaskellWiki
Search
Search
Create account
Log in
Personal tools
Create account
Log in
Pages for logged out editors
learn more
Contributions
Talk
Editing
Language extensions
(section)
Page
Discussion
English
Read
Edit
View history
Tools
Tools
move to sidebar
hide
Actions
Read
Edit
View history
General
What links here
Related changes
Special pages
Page information
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== List of language extensions by name == This list is far from complete and needs extension. * [[Datatype contexts|DatatypeContexts]] : Add type constraints to your datatype. * [[Default signatures|DefaultSignatures]] * Derive: ** [https://downloads.haskell.org/~ghc/8.10.3/docs/html/users_guide/glasgow_exts.html#deriving-typeable-instances DeriveDataTypeable] ** [https://downloads.haskell.org/~ghc/8.10.3/docs/html/users_guide/glasgow_exts.html#extension-DeriveGeneric DeriveGeneric] ** [https://downloads.haskell.org/~ghc/8.10.3/docs/html/users_guide/glasgow_exts.html#extension-DeriveFunctor DeriveFunctor] ** [https://downloads.haskell.org/~ghc/8.10.3/docs/html/users_guide/glasgow_exts.html#extension-DeriveFoldable DeriveFoldable] ** [https://downloads.haskell.org/~ghc/8.10.3/docs/html/users_guide/glasgow_exts.html#extension-DeriveTraversable DeriveTraversable] ** [https://downloads.haskell.org/~ghc/8.10.3/docs/html/users_guide/glasgow_exts.html#extension-GeneralizedNewtypeDeriving GeneralizedNewtypeDeriving] * [https://downloads.haskell.org/~ghc/8.10.3/docs/html/users_guide/glasgow_exts.html#extension-DuplicateRecordFields DuplicateRecordFields] (GHC 8.0.1+) : Allow definition of record types with identically-named fields. * [[Existential type|ExistentialQuantification]] * [[Flexible contexts|FlexibleContexts]] * [[Flexiblae instances|FlexibleInstances]] : Allow a type parameter to occure twice within a type class instance. * [[Functional dependencies|FunctionalDependencies]] : Are used to constrain the parameters of type classes. * [[GADT]]s : Generalised algebraic datatypes - A more general approach to algebraic datatypes. * [[Implicit parameters|ImplicitParams]] * [[KindSignatures]] * [[Multi-parameter type class|MultiParamTypeClasses]] : Enable multiple type parameters in type classes. * [[Monomorphism restriction|NoMonomorphismRestriction]] * [[Overlapping instance|OverlappingInstances]] * [[Rank-N types|Rank2Types]] * [[Rank-N types|RankNTypes]] * [[Scoped type variables|ScopedTypeVariables]] * [[GHC/Stand-alone_deriving_declarations|StandaloneDeriving]] * [[Template Haskell|TemplateHaskell]] * {{GHCUsersGuide|exts/tuple_sections||section on TupleSections}} It allows tuples to be partially applied. * [[GHC/Type families|TypeFamilies]] * [[Undecidable instance|UndecidableInstances]] * [https://downloads.haskell.org/~ghc/8.10.3/docs/html/users_guide/glasgow_exts.html#extension-ViewPatterns ViewPatterns] * [[QualifiedDo]]
Summary:
Please note that all contributions to HaskellWiki are considered to be released under simple permissive license (see
HaskellWiki:Copyrights
for details). If you don't want your writing to be edited mercilessly and redistributed at will, then don't submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource.
DO NOT SUBMIT COPYRIGHTED WORK WITHOUT PERMISSION!
Cancel
Editing help
(opens in new window)
Toggle limited content width