| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Futhark.IR.Syntax.Core
Contents
Description
The most primitive ("core") aspects of the AST. Split out of Futhark.IR.Syntax in order for Futhark.IR.Decorations to use these definitions. This module is re-exported from Futhark.IR.Syntax and there should be no reason to include it explicitly.
Synopsis
- module Language.Futhark.Core
- module Futhark.IR.Primitive
- data Uniqueness
- data NoUniqueness = NoUniqueness
- newtype ShapeBase d = Shape {
- shapeDims :: [d]
- type Shape = ShapeBase SubExp
- data Ext a
- type ExtSize = Ext SubExp
- type ExtShape = ShapeBase ExtSize
- newtype Rank = Rank Int
- class (Monoid a, Eq a, Ord a) => ArrayShape a where
- data Space
- type SpaceId = String
- data TypeBase shape u
- type Type = TypeBase Shape NoUniqueness
- type ExtType = TypeBase ExtShape NoUniqueness
- type DeclType = TypeBase Shape Uniqueness
- type DeclExtType = TypeBase ExtShape Uniqueness
- data Diet
- newtype ErrorMsg a = ErrorMsg [ErrorMsgPart a]
- data ErrorMsgPart a
- = ErrorString String
- | ErrorInt32 a
- | ErrorInt64 a
- errorMsgArgTypes :: ErrorMsg a -> [PrimType]
- data PrimValue
- = IntValue !IntValue
- | FloatValue !FloatValue
- | BoolValue !Bool
- | Checked
- data Ident = Ident {}
- newtype Certificates = Certificates {
- unCertificates :: [VName]
- data SubExp
- data Param dec = Param {}
- data DimIndex d
- type Slice d = [DimIndex d]
- dimFix :: DimIndex d -> Maybe d
- sliceIndices :: Slice d -> Maybe [d]
- sliceDims :: Slice d -> [d]
- unitSlice :: Num d => d -> d -> DimIndex d
- fixSlice :: Num d => Slice d -> [d] -> [d]
- sliceSlice :: Num d => Slice d -> Slice d -> Slice d
- data PatElemT dec = PatElem {
- patElemName :: VName
- patElemDec :: dec
Documentation
module Language.Futhark.Core
module Futhark.IR.Primitive
Types
data Uniqueness Source #
The uniqueness attribute of a type. This essentially indicates
whether or not in-place modifications are acceptable. With respect
to ordering, Unique is greater than Nonunique.
Constructors
| Nonunique | May have references outside current function. |
| Unique | No references outside current function. |
Instances
data NoUniqueness Source #
A fancier name for () - encodes no uniqueness information.
Constructors
| NoUniqueness |
Instances
The size of an array type as a list of its dimension sizes, with the type of sizes being parametric.
Instances
type Shape = ShapeBase SubExp Source #
The size of an array as a list of subexpressions. If a variable, that variable must be in scope where this array is used.
Something that may be existential.
Instances
type ExtShape = ShapeBase ExtSize Source #
Like Shape but some of its elements may be bound in a local
environment instead. These are denoted with integral indices.
The size of an array type as merely the number of dimensions, with no further information.
Instances
| Eq Rank Source # | |
| Ord Rank Source # | |
| Show Rank Source # | |
| Generic Rank Source # | |
| Semigroup Rank Source # | |
| Monoid Rank Source # | |
| SexpIso Rank Source # | |
Defined in Futhark.IR.Syntax.Core Methods sexpIso :: SexpGrammar Rank # | |
| ArrayShape Rank Source # | |
| Substitute Rank Source # | |
Defined in Futhark.Transform.Substitute | |
| Rename Rank Source # | |
| Pretty u => Pretty (TypeBase Rank u) Source # | |
| type Rep Rank Source # | |
Defined in Futhark.IR.Syntax.Core | |
class (Monoid a, Eq a, Ord a) => ArrayShape a where Source #
A class encompassing types containing array shape information.
Methods
shapeRank :: a -> Int Source #
Return the rank of an array with the given size.
stripDims :: Int -> a -> a Source #
stripDims n shape strips the outer n dimensions from
shape.
subShapeOf :: a -> a -> Bool Source #
Check whether one shape if a subset of another shape.
Instances
The memory space of a block. If DefaultSpace, this is the "default"
space, whatever that is. The exact meaning of the SpaceId
depends on the backend used. In GPU kernels, for example, this is
used to distinguish between constant, global and shared memory
spaces. In GPU-enabled host code, it is used to distinguish
between host memory (DefaultSpace) and GPU space.
Constructors
| DefaultSpace | |
| Space SpaceId | |
| ScalarSpace [SubExp] PrimType | A special kind of memory that is a statically sized array of some primitive type. Used for private memory on GPUs. |
Instances
| Eq Space Source # | |
| Ord Space Source # | |
| Show Space Source # | |
| Generic Space Source # | |
| Pretty Space Source # | |
| SexpIso Space Source # | |
Defined in Futhark.IR.Syntax.Core Methods sexpIso :: SexpGrammar Space # | |
| FreeIn Space Source # | |
| Simplifiable Space Source # | |
Defined in Futhark.Optimise.Simplify.Engine | |
| type Rep Space Source # | |
Defined in Futhark.IR.Syntax.Core type Rep Space = D1 ('MetaData "Space" "Futhark.IR.Syntax.Core" "futhark-0.18.2-inplace" 'False) (C1 ('MetaCons "DefaultSpace" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Space" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SpaceId)) :+: C1 ('MetaCons "ScalarSpace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [SubExp]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PrimType)))) | |
data TypeBase shape u Source #
A Futhark type is either an array or an element type. When
comparing types for equality with ==, shapes must match.
Instances
type Type = TypeBase Shape NoUniqueness Source #
A type with shape information, used for describing the type of variables.
type ExtType = TypeBase ExtShape NoUniqueness Source #
A type with existentially quantified shapes - used as part of function (and function-like) return types. Generally only makes sense when used in a list.
type DeclType = TypeBase Shape Uniqueness Source #
A type with shape and uniqueness information, used declaring return- and parameters types.
type DeclExtType = TypeBase ExtShape Uniqueness Source #
An ExtType with uniqueness information, used for function
return types.
Information about which parts of a value/type are consumed. For
example, we might say that a function taking three arguments of
types ([int], *[int], [int]) has diet [Observe, Consume,
Observe].
Constructors
| Consume | Consumes this value. |
| Observe | Only observes value in this position, does not consume. A result may alias this. |
| ObservePrim | As |
An error message is a list of error parts, which are concatenated to form the final message.
Constructors
| ErrorMsg [ErrorMsgPart a] |
Instances
data ErrorMsgPart a Source #
A part of an error message.
Constructors
| ErrorString String | A literal string. |
| ErrorInt32 a | A run-time integer value. |
| ErrorInt64 a | A bigger run-time integer value. |
Instances
errorMsgArgTypes :: ErrorMsg a -> [PrimType] Source #
How many non-constant parts does the error message have, and what is their type?
Values
Non-array values.
Constructors
| IntValue !IntValue | |
| FloatValue !FloatValue | |
| BoolValue !Bool | |
| Checked | The only value of type |
Instances
| Eq PrimValue Source # | |
| Ord PrimValue Source # | |
| Show PrimValue Source # | |
| Generic PrimValue Source # | |
| ToExp PrimValue Source # | |
| Pretty PrimValue Source # | |
| SexpIso PrimValue Source # | |
Defined in Futhark.IR.Primitive Methods | |
| IsValue PrimValue Source # | |
| type Rep PrimValue Source # | |
Defined in Futhark.IR.Primitive type Rep PrimValue = D1 ('MetaData "PrimValue" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) ((C1 ('MetaCons "IntValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IntValue)) :+: C1 ('MetaCons "FloatValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FloatValue))) :+: (C1 ('MetaCons "BoolValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Checked" 'PrefixI 'False) (U1 :: Type -> Type))) | |
Abstract syntax tree
An identifier consists of its name and the type of the value bound to the identifier.
Instances
| Eq Ident Source # | |
| Ord Ident Source # | |
| Show Ident Source # | |
| Generic Ident Source # | |
| Pretty Ident Source # | |
| SexpIso Ident Source # | |
Defined in Futhark.IR.Syntax.Core Methods sexpIso :: SexpGrammar Ident # | |
| Typed Ident Source # | |
| FreeIn Ident Source # | |
| Substitute Ident Source # | |
Defined in Futhark.Transform.Substitute | |
| Rename Ident Source # | |
| type Rep Ident Source # | |
Defined in Futhark.IR.Syntax.Core type Rep Ident = D1 ('MetaData "Ident" "Futhark.IR.Syntax.Core" "futhark-0.18.2-inplace" 'False) (C1 ('MetaCons "Ident" 'PrefixI 'True) (S1 ('MetaSel ('Just "identName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VName) :*: S1 ('MetaSel ('Just "identType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Type))) | |
newtype Certificates Source #
A list of names used for certificates in some expressions.
Constructors
| Certificates | |
Fields
| |
Instances
A subexpression is either a scalar constant or a variable. One important property is that evaluation of a subexpression is guaranteed to complete in constant time.
Instances
A function or lambda parameter.
Constructors
| Param | |
Instances
How to index a single dimension of an array.
Constructors
| DimFix d | Fix index in this dimension. |
| DimSlice d d d |
|
Instances
An element of a pattern - consisting of a name and an addditional parametric decoration. This decoration is what is expected to contain the type of the resulting variable.
Constructors
| PatElem | |
Fields
| |