| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Language.Futhark.Core
Description
This module contains very basic definitions for Futhark - so basic, that they can be shared between the internal and external representation.
Synopsis
- data NoMode = NoMode
- data SrcLoc
- data Loc
- class Located a where
- noLoc :: IsLocation a => a
- data L a = L Loc a
- unLoc :: L a -> a
- srclocOf :: Located a => a -> SrcLoc
- locStr :: Located a => a -> String
- locStrRel :: (Located a, Located b) => a -> b -> String
- locText :: Located a => a -> Text
- locTextRel :: (Located a, Located b) => a -> b -> Text
- prettyStacktrace :: Int -> [Text] -> Text
- isBuiltin :: FilePath -> Bool
- isBuiltinLoc :: Located a => a -> Bool
- data Name
- nameToString :: Name -> String
- nameFromString :: String -> Name
- nameToText :: Name -> Text
- nameFromText :: Text -> Name
- data VName = VName !Name !Int
- baseTag :: VName -> Int
- baseName :: VName -> Name
- baseText :: VName -> Text
- quote :: Text -> Text
- data Int8
- data Int16
- data Int32
- data Int64
- data Word8
- data Word16
- data Word32
- data Word64
- data Half
Documentation
A fancier name for () - the mode of a type that has none. Also
has a different prettyprinting instance.
Constructors
| NoMode |
Instances
Location utilities
Source location type. Source location are all equal, which allows AST nodes to be compared modulo location information.
Instances
| Monoid SrcLoc # | |
| Semigroup SrcLoc # | |
| Data SrcLoc # | |
Defined in Data.Loc Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcLoc -> c SrcLoc # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcLoc # toConstr :: SrcLoc -> Constr # dataTypeOf :: SrcLoc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcLoc) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcLoc) # gmapT :: (forall b. Data b => b -> b) -> SrcLoc -> SrcLoc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcLoc -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcLoc -> r # gmapQ :: (forall d. Data d => d -> u) -> SrcLoc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcLoc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc # | |
| Read SrcLoc # | |
| Show SrcLoc # | |
| Eq SrcLoc # | |
| Ord SrcLoc # | |
| IsLocation SrcLoc # | |
| Located SrcLoc # | |
| ToIdent (SrcLoc -> Id) # | |
Location type, consisting of a beginning position and an end position.
Instances
| Monoid Loc # | |
| Semigroup Loc # | |
| Data Loc # | |
Defined in Data.Loc Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Loc -> c Loc # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Loc # dataTypeOf :: Loc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Loc) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Loc) # gmapT :: (forall b. Data b => b -> b) -> Loc -> Loc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r # gmapQ :: (forall d. Data d => d -> u) -> Loc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Loc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Loc -> m Loc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Loc -> m Loc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Loc -> m Loc # | |
| Read Loc # | |
| Show Loc # | |
| Eq Loc # | |
| Ord Loc # | |
| Pretty Loc # | |
| IsLocation Loc # | |
| Located Loc # | |
Located values have a location.
Minimal complete definition
Instances
noLoc :: IsLocation a => a #
No location.
A value of type L a is a value of type a with an associated Loc, but
this location is ignored when performing comparisons.
Instances
| Functor L # | |
| Data a => Data (L a) # | |
Defined in Data.Loc Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> L a -> c (L a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (L a) # dataTypeOf :: L a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (L a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (L a)) # gmapT :: (forall b. Data b => b -> b) -> L a -> L a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> L a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> L a -> r # gmapQ :: (forall d. Data d => d -> u) -> L a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> L a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> L a -> m (L a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> L a -> m (L a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> L a -> m (L a) # | |
| Show x => Show (L x) # | |
| Eq x => Eq (L x) # | |
| Ord x => Ord (L x) # | |
| Pretty x => Pretty (L x) # | |
| Located (L a) # | |
| Relocatable (L a) # | |
locStr :: Located a => a -> String Source #
A human-readable location string, of the form
filename:lineno:columnno. This follows the GNU coding standards
for error messages:
https://www.gnu.org/prep/standards/html_node/Errors.html
This function assumes that both start and end position is in the same file (it is not clear what the alternative would even mean).
locStrRel :: (Located a, Located b) => a -> b -> String Source #
Like locStr, but locStrRel prev now prints the location now
with the file name left out if the same as prev. This is useful
when printing messages that are all in the context of some
initially printed location (e.g. the first mention contains the
file name; the rest just line and column name).
prettyStacktrace :: Int -> [Text] -> Text Source #
Given a list of strings representing entries in the stack trace and the index of the frame to highlight, produce a final newline-terminated string for showing to the user. This string should also be preceded by a newline. The most recent stack frame must come first in the list.
isBuiltinLoc :: Located a => a -> Bool Source #
Is the position of this thing builtin as per isBuiltin? Things
without location are considered not built-in.
Name handling
The abstract (not really) type representing names in the Futhark
compiler. Strings, being lists of characters, are very slow,
while Texts are based on byte-arrays.
Instances
| IsName Name Source # | |
| Semigroup Name Source # | |
| IsString Name Source # | |
Defined in Language.Futhark.Core Methods fromString :: String -> Name # | |
| Show Name Source # | |
| Eq Name Source # | |
| Ord Name Source # | |
| ToIdent Name Source # | |
| Pretty Name Source # | |
Defined in Language.Futhark.Core | |
| Show (DecBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (ModBindBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (ModExpBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (ModParamBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (ModTypeBindBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (ModTypeExpBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (ProgBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (SpecBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (TypeBindBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (TypeRefBase (NoInfo :: Type -> Type) Name) Source # | |
| Show (ValBindBase (NoInfo :: Type -> Type) Name) Source # | |
nameToString :: Name -> String Source #
Convert a name to the corresponding list of characters.
nameFromString :: String -> Name Source #
Convert a list of characters to the corresponding name.
A name tagged with some integer. Only the integer is used in
comparisons, no matter the type of vn.
Instances
quote :: Text -> Text Source #
Enclose a string in the prefered quotes used in error messages. These are picked to not collide with characters permitted in identifiers.
Number re-export
8-bit signed integer type
Instances
16-bit signed integer type
Instances
32-bit signed integer type
Instances
64-bit signed integer type
Instances
8-bit unsigned integer type
Instances
16-bit unsigned integer type
Instances
32-bit unsigned integer type
Instances
64-bit unsigned integer type
Instances
A half-precision floating point value