helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Miscellaneous.ConstraintInfo

Description

during type inference.

Synopsis

Documentation

maybeHead :: [a] -> Maybe a Source

headWithDefault :: a -> [a] -> a Source

maybeInstantiatedTypeScheme :: HasProperties a => a -> Maybe TpScheme Source

Returns only type schemes with at least one quantifier

data LocalInfo Source

Constructors

LocalInfo