| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Futhark.LSP.TypeAscription
Documentation
data TypeAscription Source #
Constructors
| TypeAscLet StructType Pos | type hint for a let-binding or nested parameter binding |
| TypeAscParam Pos StructType Pos | type hint for a parameter |
| TypeAscReturn ResRetType Pos | type hint for a return type |
| TypeAscType (TypeParamBase VName) Pos | type hint for inferred type parameters |
missingAscriptions :: BoundTo -> [TypeAscription] Source #
missingTypeParameters :: BoundTo -> Map VName (Maybe Pos, TypeParamBase VName) Source #