Skip to content

haskell-suite/haskell-scope

Repository files navigation

Build Status

Name resolution written in plain Haskell.

This library is much less mature than https://github.com/haskell-suite/haskell-names.

Supported extensions

  • FunctionalDependencies
  • Rank2Types
  • RankNTypes
  • EmptyDataDecls
  • BangPatterns
  • ForeignFunctionInterface
  • MagicHash

Trivial extensions

Unsupported extensions

  • OverlappingInstances
  • UndecidableInstances
  • IncoherentInstances
  • InstanceSigs
  • DoRec
  • RecursiveDo
  • ParallelListComp
  • MultiParamTypeClasses
  • MonomorphismRestriction
  • PolymorphicComponents
  • ExistentialQuantification
  • ScopedTypeVariables
  • PatternSignatures
  • ImplicitParams
  • FlexibleContexts
  • FlexibleInstances
  • CPP
  • KindSignatures
  • TypeSynonymInstances
  • TemplateHaskell
  • Arrows
  • Generics
  • ImplicitPrelude
  • NamedFieldPuns
  • PatternGuards
  • GeneralizedNewtypeDeriving
  • ExtensibleRecords
  • RestrictedTypeSynonyms
  • HereDocuments
  • BinaryLiterals
  • TypeFamilies
  • StandaloneDeriving
  • UnicodeSyntax
  • UnliftedFFITypes
  • LiberalTypeSynonyms
  • TypeOperators
  • ParallelArrays
  • RecordWildCards
  • RecordPuns
  • DisambiguateRecordFields
  • OverloadedStrings
  • GADTs
  • MonoPatBinds
  • RelaxedPolyRec
  • ExtendedDefaultRules
  • UnboxedTuples
  • DeriveDataTypeable
  • ConstrainedClassMethods
  • PackageImports
  • LambdaCase
  • ImpredicativeTypes
  • NewQualifiedOperators
  • PostfixOperators
  • QuasiQuotes
  • TransformListComp
  • ViewPatterns
  • XmlSyntax
  • RegularPatterns
  • TupleSections
  • GHCForeignImportPrim
  • NPlusKPatterns
  • DoAndIfThenElse
  • RebindableSyntax
  • ExplicitForAll
  • DatatypeContexts
  • MonoLocalBinds
  • DeriveFunctor
  • DeriveGeneric
  • DeriveTraversable
  • DeriveFoldable
  • NondecreasingIndentation
  • InterruptibleFFI
  • CApiFFI
  • ExplicitNamespaces
  • DataKinds
  • PolyKinds
  • MultiWayIf
  • SafeImports
  • Safe
  • Trustworthy
  • DefaultSignatures
  • ConstraintKinds
  • RoleAnnotations
  • PatternSynonyms
  • PartialTypeSignatures
  • NamedWildCards
  • TypeApplications
  • TypeFamilyDependencies
  • OverloadedLabels

Releases

No releases published

Packages

No packages published