futhark-0.19.5: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Futhark.Syntax

Description

The Futhark source language AST definition. Many types, such as ExpBase, are parametrised by type and name representation. E.g. in a value of type ExpBase f vn, annotations are wrapped in the functor f, and all names are of type vn. See the https://futhark.readthedocs.org@ for a language reference, or this module may be a little hard to understand.

Synopsis

Documentation

module Language.Futhark.Core

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

Instances details
Eq Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

(==) :: Uniqueness -> Uniqueness -> Bool #

(/=) :: Uniqueness -> Uniqueness -> Bool #

Ord Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

compare :: Uniqueness -> Uniqueness -> Ordering #

(<) :: Uniqueness -> Uniqueness -> Bool #

(<=) :: Uniqueness -> Uniqueness -> Bool #

(>) :: Uniqueness -> Uniqueness -> Bool #

(>=) :: Uniqueness -> Uniqueness -> Bool #

max :: Uniqueness -> Uniqueness -> Uniqueness #

min :: Uniqueness -> Uniqueness -> Uniqueness #

Show Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

showsPrec :: Int -> Uniqueness -> ShowS #

show :: Uniqueness -> String #

showList :: [Uniqueness] -> ShowS #

Semigroup Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

(<>) :: Uniqueness -> Uniqueness -> Uniqueness #

sconcat :: NonEmpty Uniqueness -> Uniqueness #

stimes :: Integral b => b -> Uniqueness -> Uniqueness #

Monoid Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

mempty :: Uniqueness #

mappend :: Uniqueness -> Uniqueness -> Uniqueness #

mconcat :: [Uniqueness] -> Uniqueness #

Pretty Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

ppr :: Uniqueness -> Doc #

pprPrec :: Int -> Uniqueness -> Doc #

pprList :: [Uniqueness] -> Doc #

DeclExtTyped DeclExtType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

declExtTypeOf :: DeclExtType -> DeclExtType Source #

DeclTyped DeclType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

declTypeOf :: DeclType -> DeclType Source #

Typed DeclType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

typeOf :: DeclType -> Type Source #

IsRetType DeclExtType Source # 
Instance details

Defined in Futhark.IR.RetType

Methods

primRetType :: PrimType -> DeclExtType Source #

applyRetType :: Typed dec => [DeclExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [DeclExtType] Source #

IsRetType FunReturns Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

primRetType :: PrimType -> FunReturns Source #

applyRetType :: Typed dec => [FunReturns] -> [Param dec] -> [(SubExp, Type)] -> Maybe [FunReturns] Source #

Simplifiable [FunReturns] Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

simplify :: SimplifiableLore lore => [FunReturns] -> SimpleM lore [FunReturns] Source #

FixExt ret => DeclExtTyped (MemInfo ExtSize Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

declExtTypeOf :: MemInfo ExtSize Uniqueness ret -> DeclExtType Source #

DeclTyped (MemInfo SubExp Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

declTypeOf :: MemInfo SubExp Uniqueness ret -> DeclType Source #

Typed (MemInfo SubExp Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

typeOf :: MemInfo SubExp Uniqueness ret -> Type Source #

data IntType Source #

An integer type, ordered by size. Note that signedness is not a property of the type, but a property of the operations performed on values of these types.

Constructors

Int8 
Int16 
Int32 
Int64 

Instances

Instances details
Bounded IntType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

minBound :: IntType #

maxBound :: IntType #

Enum IntType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

succ :: IntType -> IntType #

pred :: IntType -> IntType #

toEnum :: Int -> IntType #

fromEnum :: IntType -> Int #

enumFrom :: IntType -> [IntType] #

enumFromThen :: IntType -> IntType -> [IntType] #

enumFromTo :: IntType -> IntType -> [IntType] #

enumFromThenTo :: IntType -> IntType -> IntType -> [IntType] #

Eq IntType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

(==) :: IntType -> IntType -> Bool #

(/=) :: IntType -> IntType -> Bool #

Ord IntType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

compare :: IntType -> IntType -> Ordering #

(<) :: IntType -> IntType -> Bool #

(<=) :: IntType -> IntType -> Bool #

(>) :: IntType -> IntType -> Bool #

(>=) :: IntType -> IntType -> Bool #

max :: IntType -> IntType -> IntType #

min :: IntType -> IntType -> IntType #

Show IntType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

showsPrec :: Int -> IntType -> ShowS #

show :: IntType -> String #

showList :: [IntType] -> ShowS #

Pretty IntType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

ppr :: IntType -> Doc #

pprPrec :: Int -> IntType -> Doc #

pprList :: [IntType] -> Doc #

data FloatType Source #

A floating point type.

Constructors

Float32 
Float64 

Instances

Instances details
Bounded FloatType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

minBound :: FloatType #

maxBound :: FloatType #

Enum FloatType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

succ :: FloatType -> FloatType #

pred :: FloatType -> FloatType #

toEnum :: Int -> FloatType #

fromEnum :: FloatType -> Int #

enumFrom :: FloatType -> [FloatType] #

enumFromThen :: FloatType -> FloatType -> [FloatType] #

enumFromTo :: FloatType -> FloatType -> [FloatType] #

enumFromThenTo :: FloatType -> FloatType -> FloatType -> [FloatType] #

Eq FloatType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

(==) :: FloatType -> FloatType -> Bool #

(/=) :: FloatType -> FloatType -> Bool #

Ord FloatType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

compare :: FloatType -> FloatType -> Ordering #

(<) :: FloatType -> FloatType -> Bool #

(<=) :: FloatType -> FloatType -> Bool #

(>) :: FloatType -> FloatType -> Bool #

(>=) :: FloatType -> FloatType -> Bool #

max :: FloatType -> FloatType -> FloatType #

min :: FloatType -> FloatType -> FloatType #

Show FloatType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

showsPrec :: Int -> FloatType -> ShowS #

show :: FloatType -> String #

showList :: [FloatType] -> ShowS #

Pretty FloatType Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

ppr :: FloatType -> Doc #

pprPrec :: Int -> FloatType -> Doc #

pprList :: [FloatType] -> Doc #

data PrimType Source #

Low-level primitive types.

Constructors

Signed IntType 
Unsigned IntType 
FloatType FloatType 
Bool 

Instances

Instances details
Eq PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PrimType -> PrimType -> Bool #

(/=) :: PrimType -> PrimType -> Bool #

Ord PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PrimType -> PrimType -> Ordering #

(<) :: PrimType -> PrimType -> Bool #

(<=) :: PrimType -> PrimType -> Bool #

(>) :: PrimType -> PrimType -> Bool #

(>=) :: PrimType -> PrimType -> Bool #

max :: PrimType -> PrimType -> PrimType #

min :: PrimType -> PrimType -> PrimType #

Show PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PrimType -> ShowS #

show :: PrimType -> String #

showList :: [PrimType] -> ShowS #

Pretty PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

ppr :: PrimType -> Doc #

pprPrec :: Int -> PrimType -> Doc #

pprList :: [PrimType] -> Doc #

class Eq dim => ArrayDim dim where Source #

A type class for things that can be array dimensions.

Methods

unifyDims :: dim -> dim -> Maybe dim Source #

unifyDims x y combines x and y to contain their maximum common information, and fails if they conflict.

Instances

Instances details
ArrayDim () Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

unifyDims :: () -> () -> Maybe () Source #

ArrayDim (DimDecl VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

unifyDims :: DimDecl VName -> DimDecl VName -> Maybe (DimDecl VName) Source #

data DimDecl vn Source #

Declaration of a dimension size.

Constructors

NamedDim (QualName vn)

The size of the dimension is this name, which must be in scope. In a return type, this will give rise to an assertion.

ConstDim Int

The size is a constant.

AnyDim (Maybe vn)

No known size - but still possibly given a unique name, so we can recognise e.g. type square [n] = [n][n]i32 and make square [] do the right thing. If Nothing, then this is a name distinct from any other.

Instances

Instances details
Functor DimDecl Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> DimDecl a -> DimDecl b #

(<$) :: a -> DimDecl b -> DimDecl a #

Foldable DimDecl Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => DimDecl m -> m #

foldMap :: Monoid m => (a -> m) -> DimDecl a -> m #

foldMap' :: Monoid m => (a -> m) -> DimDecl a -> m #

foldr :: (a -> b -> b) -> b -> DimDecl a -> b #

foldr' :: (a -> b -> b) -> b -> DimDecl a -> b #

foldl :: (b -> a -> b) -> b -> DimDecl a -> b #

foldl' :: (b -> a -> b) -> b -> DimDecl a -> b #

foldr1 :: (a -> a -> a) -> DimDecl a -> a #

foldl1 :: (a -> a -> a) -> DimDecl a -> a #

toList :: DimDecl a -> [a] #

null :: DimDecl a -> Bool #

length :: DimDecl a -> Int #

elem :: Eq a => a -> DimDecl a -> Bool #

maximum :: Ord a => DimDecl a -> a #

minimum :: Ord a => DimDecl a -> a #

sum :: Num a => DimDecl a -> a #

product :: Num a => DimDecl a -> a #

Traversable DimDecl Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> DimDecl a -> f (DimDecl b) #

sequenceA :: Applicative f => DimDecl (f a) -> f (DimDecl a) #

mapM :: Monad m => (a -> m b) -> DimDecl a -> m (DimDecl b) #

sequence :: Monad m => DimDecl (m a) -> m (DimDecl a) #

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> StructType -> m StructType Source #

ASTMappable PatternType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatternType -> m PatternType Source #

Eq (DimDecl VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: DimDecl VName -> DimDecl VName -> Bool #

(/=) :: DimDecl VName -> DimDecl VName -> Bool #

Ord (DimDecl VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimDecl VName -> DimDecl VName -> Ordering #

(<) :: DimDecl VName -> DimDecl VName -> Bool #

(<=) :: DimDecl VName -> DimDecl VName -> Bool #

(>) :: DimDecl VName -> DimDecl VName -> Bool #

(>=) :: DimDecl VName -> DimDecl VName -> Bool #

max :: DimDecl VName -> DimDecl VName -> DimDecl VName #

min :: DimDecl VName -> DimDecl VName -> DimDecl VName #

Show vn => Show (DimDecl vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimDecl vn -> ShowS #

show :: DimDecl vn -> String #

showList :: [DimDecl vn] -> ShowS #

IsName vn => Pretty (ShapeDecl (DimDecl vn)) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ShapeDecl (DimDecl vn) -> Doc #

pprPrec :: Int -> ShapeDecl (DimDecl vn) -> Doc #

pprList :: [ShapeDecl (DimDecl vn)] -> Doc #

IsName vn => Pretty (DimDecl vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: DimDecl vn -> Doc #

pprPrec :: Int -> DimDecl vn -> Doc #

pprList :: [DimDecl vn] -> Doc #

ArrayDim (DimDecl VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

unifyDims :: DimDecl VName -> DimDecl VName -> Maybe (DimDecl VName) Source #

ASTMappable (DimDecl VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> DimDecl VName -> m (DimDecl VName) Source #

Substitutable (DimDecl VName) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> DimDecl VName -> DimDecl VName Source #

Substitutable (TypeBase (DimDecl VName) ()) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase (DimDecl VName) () -> TypeBase (DimDecl VName) () Source #

Substitutable (TypeBase (DimDecl VName) Aliasing) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase (DimDecl VName) Aliasing -> TypeBase (DimDecl VName) Aliasing Source #

newtype ShapeDecl dim Source #

The size of an array type is a list of its dimension sizes. If Nothing, that dimension is of a (statically) unknown size.

Constructors

ShapeDecl 

Fields

Instances

Instances details
Functor ShapeDecl Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> ShapeDecl a -> ShapeDecl b #

(<$) :: a -> ShapeDecl b -> ShapeDecl a #

Foldable ShapeDecl Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => ShapeDecl m -> m #

foldMap :: Monoid m => (a -> m) -> ShapeDecl a -> m #

foldMap' :: Monoid m => (a -> m) -> ShapeDecl a -> m #

foldr :: (a -> b -> b) -> b -> ShapeDecl a -> b #

foldr' :: (a -> b -> b) -> b -> ShapeDecl a -> b #

foldl :: (b -> a -> b) -> b -> ShapeDecl a -> b #

foldl' :: (b -> a -> b) -> b -> ShapeDecl a -> b #

foldr1 :: (a -> a -> a) -> ShapeDecl a -> a #

foldl1 :: (a -> a -> a) -> ShapeDecl a -> a #

toList :: ShapeDecl a -> [a] #

null :: ShapeDecl a -> Bool #

length :: ShapeDecl a -> Int #

elem :: Eq a => a -> ShapeDecl a -> Bool #

maximum :: Ord a => ShapeDecl a -> a #

minimum :: Ord a => ShapeDecl a -> a #

sum :: Num a => ShapeDecl a -> a #

product :: Num a => ShapeDecl a -> a #

Traversable ShapeDecl Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> ShapeDecl a -> f (ShapeDecl b) #

sequenceA :: Applicative f => ShapeDecl (f a) -> f (ShapeDecl a) #

mapM :: Monad m => (a -> m b) -> ShapeDecl a -> m (ShapeDecl b) #

sequence :: Monad m => ShapeDecl (m a) -> m (ShapeDecl a) #

Eq dim => Eq (ShapeDecl dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: ShapeDecl dim -> ShapeDecl dim -> Bool #

(/=) :: ShapeDecl dim -> ShapeDecl dim -> Bool #

Ord dim => Ord (ShapeDecl dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ShapeDecl dim -> ShapeDecl dim -> Ordering #

(<) :: ShapeDecl dim -> ShapeDecl dim -> Bool #

(<=) :: ShapeDecl dim -> ShapeDecl dim -> Bool #

(>) :: ShapeDecl dim -> ShapeDecl dim -> Bool #

(>=) :: ShapeDecl dim -> ShapeDecl dim -> Bool #

max :: ShapeDecl dim -> ShapeDecl dim -> ShapeDecl dim #

min :: ShapeDecl dim -> ShapeDecl dim -> ShapeDecl dim #

Show dim => Show (ShapeDecl dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ShapeDecl dim -> ShowS #

show :: ShapeDecl dim -> String #

showList :: [ShapeDecl dim] -> ShowS #

Semigroup (ShapeDecl dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(<>) :: ShapeDecl dim -> ShapeDecl dim -> ShapeDecl dim #

sconcat :: NonEmpty (ShapeDecl dim) -> ShapeDecl dim #

stimes :: Integral b => b -> ShapeDecl dim -> ShapeDecl dim #

Monoid (ShapeDecl dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

mempty :: ShapeDecl dim #

mappend :: ShapeDecl dim -> ShapeDecl dim -> ShapeDecl dim #

mconcat :: [ShapeDecl dim] -> ShapeDecl dim #

Pretty (ShapeDecl Bool) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ShapeDecl Bool -> Doc #

pprPrec :: Int -> ShapeDecl Bool -> Doc #

pprList :: [ShapeDecl Bool] -> Doc #

Pretty (ShapeDecl Int64) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ShapeDecl Int64 -> Doc #

pprPrec :: Int -> ShapeDecl Int64 -> Doc #

pprList :: [ShapeDecl Int64] -> Doc #

Pretty (ShapeDecl ()) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ShapeDecl () -> Doc #

pprPrec :: Int -> ShapeDecl () -> Doc #

pprList :: [ShapeDecl ()] -> Doc #

IsName vn => Pretty (ShapeDecl (DimDecl vn)) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ShapeDecl (DimDecl vn) -> Doc #

pprPrec :: Int -> ShapeDecl (DimDecl vn) -> Doc #

pprList :: [ShapeDecl (DimDecl vn)] -> Doc #

Substitutable d => Substitutable (ShapeDecl d) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ShapeDecl d -> ShapeDecl d Source #

shapeRank :: ShapeDecl dim -> Int Source #

The number of dimensions contained in a shape.

stripDims :: Int -> ShapeDecl dim -> Maybe (ShapeDecl dim) Source #

stripDims n shape strips the outer n dimensions from shape, returning Nothing if this would result in zero or fewer dimensions.

unifyShapes :: ArrayDim dim => ShapeDecl dim -> ShapeDecl dim -> Maybe (ShapeDecl dim) Source #

unifyShapes x y combines x and y to contain their maximum common information, and fails if they conflict.

data TypeName Source #

A type name consists of qualifiers (for error messages) and a VName (for equality checking).

Constructors

TypeName 

Fields

Instances

Instances details
Eq TypeName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeName -> TypeName -> Bool #

(/=) :: TypeName -> TypeName -> Bool #

Ord TypeName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeName -> TypeName -> Ordering #

(<) :: TypeName -> TypeName -> Bool #

(<=) :: TypeName -> TypeName -> Bool #

(>) :: TypeName -> TypeName -> Bool #

(>=) :: TypeName -> TypeName -> Bool #

max :: TypeName -> TypeName -> TypeName #

min :: TypeName -> TypeName -> TypeName #

Show TypeName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeName -> ShowS #

show :: TypeName -> String #

showList :: [TypeName] -> ShowS #

typeNameFromQualName :: QualName VName -> TypeName Source #

Convert a QualName to a TypeName.

qualNameFromTypeName :: TypeName -> QualName VName Source #

Convert a TypeName to a QualName.

data TypeBase dim as Source #

An expanded Futhark type is either an array, or something that can be an element of an array. When comparing types for equality, function parameter names are ignored. This representation permits some malformed types (arrays of functions), but importantly rules out arrays-of-arrays.

Constructors

Scalar (ScalarTypeBase dim as) 
Array as Uniqueness (ScalarTypeBase dim ()) (ShapeDecl dim) 

Instances

Instances details
Bifunctor TypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bimap :: (a -> b) -> (c -> d) -> TypeBase a c -> TypeBase b d #

first :: (a -> b) -> TypeBase a c -> TypeBase b c #

second :: (b -> c) -> TypeBase a b -> TypeBase a c #

Bitraversable TypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> TypeBase a b -> f (TypeBase c d) #

Bifoldable TypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bifold :: Monoid m => TypeBase m m -> m #

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> TypeBase a b -> m #

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> TypeBase a b -> c #

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> TypeBase a b -> c #

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> StructType -> m StructType Source #

ASTMappable PatternType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatternType -> m PatternType Source #

(Eq as, Eq dim) => Eq (TypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeBase dim as -> TypeBase dim as -> Bool #

(/=) :: TypeBase dim as -> TypeBase dim as -> Bool #

(Ord as, Ord dim) => Ord (TypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeBase dim as -> TypeBase dim as -> Ordering #

(<) :: TypeBase dim as -> TypeBase dim as -> Bool #

(<=) :: TypeBase dim as -> TypeBase dim as -> Bool #

(>) :: TypeBase dim as -> TypeBase dim as -> Bool #

(>=) :: TypeBase dim as -> TypeBase dim as -> Bool #

max :: TypeBase dim as -> TypeBase dim as -> TypeBase dim as #

min :: TypeBase dim as -> TypeBase dim as -> TypeBase dim as #

(Show as, Show dim) => Show (TypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBase dim as -> ShowS #

show :: TypeBase dim as -> String #

showList :: [TypeBase dim as] -> ShowS #

Pretty (ShapeDecl dim) => Pretty (TypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: TypeBase dim as -> Doc #

pprPrec :: Int -> TypeBase dim as -> Doc #

pprList :: [TypeBase dim as] -> Doc #

Substitutable (TypeBase (DimDecl VName) ()) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase (DimDecl VName) () -> TypeBase (DimDecl VName) () Source #

Substitutable (TypeBase (DimDecl VName) Aliasing) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase (DimDecl VName) Aliasing -> TypeBase (DimDecl VName) Aliasing Source #

data TypeArg dim Source #

An argument passed to a type constructor.

Constructors

TypeArgDim dim SrcLoc 
TypeArgType (TypeBase dim ()) SrcLoc 

Instances

Instances details
Functor TypeArg Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeArg a -> TypeArg b #

(<$) :: a -> TypeArg b -> TypeArg a #

Foldable TypeArg Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeArg m -> m #

foldMap :: Monoid m => (a -> m) -> TypeArg a -> m #

foldMap' :: Monoid m => (a -> m) -> TypeArg a -> m #

foldr :: (a -> b -> b) -> b -> TypeArg a -> b #

foldr' :: (a -> b -> b) -> b -> TypeArg a -> b #

foldl :: (b -> a -> b) -> b -> TypeArg a -> b #

foldl' :: (b -> a -> b) -> b -> TypeArg a -> b #

foldr1 :: (a -> a -> a) -> TypeArg a -> a #

foldl1 :: (a -> a -> a) -> TypeArg a -> a #

toList :: TypeArg a -> [a] #

null :: TypeArg a -> Bool #

length :: TypeArg a -> Int #

elem :: Eq a => a -> TypeArg a -> Bool #

maximum :: Ord a => TypeArg a -> a #

minimum :: Ord a => TypeArg a -> a #

sum :: Num a => TypeArg a -> a #

product :: Num a => TypeArg a -> a #

Traversable TypeArg Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> TypeArg a -> f (TypeArg b) #

sequenceA :: Applicative f => TypeArg (f a) -> f (TypeArg a) #

mapM :: Monad m => (a -> m b) -> TypeArg a -> m (TypeArg b) #

sequence :: Monad m => TypeArg (m a) -> m (TypeArg a) #

Eq dim => Eq (TypeArg dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeArg dim -> TypeArg dim -> Bool #

(/=) :: TypeArg dim -> TypeArg dim -> Bool #

Ord dim => Ord (TypeArg dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeArg dim -> TypeArg dim -> Ordering #

(<) :: TypeArg dim -> TypeArg dim -> Bool #

(<=) :: TypeArg dim -> TypeArg dim -> Bool #

(>) :: TypeArg dim -> TypeArg dim -> Bool #

(>=) :: TypeArg dim -> TypeArg dim -> Bool #

max :: TypeArg dim -> TypeArg dim -> TypeArg dim #

min :: TypeArg dim -> TypeArg dim -> TypeArg dim #

Show dim => Show (TypeArg dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeArg dim -> ShowS #

show :: TypeArg dim -> String #

showList :: [TypeArg dim] -> ShowS #

Pretty (ShapeDecl dim) => Pretty (TypeArg dim) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: TypeArg dim -> Doc #

pprPrec :: Int -> TypeArg dim -> Doc #

pprList :: [TypeArg dim] -> Doc #

data DimExp vn Source #

A dimension declaration expression for use in a TypeExp.

Constructors

DimExpNamed (QualName vn) SrcLoc

The size of the dimension is this name, which must be in scope.

DimExpConst Int SrcLoc

The size is a constant.

DimExpAny

No dimension declaration.

Instances

Instances details
Eq (DimExp VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: DimExp VName -> DimExp VName -> Bool #

(/=) :: DimExp VName -> DimExp VName -> Bool #

Eq (DimExp Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: DimExp Name -> DimExp Name -> Bool #

(/=) :: DimExp Name -> DimExp Name -> Bool #

Ord (DimExp VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimExp VName -> DimExp VName -> Ordering #

(<) :: DimExp VName -> DimExp VName -> Bool #

(<=) :: DimExp VName -> DimExp VName -> Bool #

(>) :: DimExp VName -> DimExp VName -> Bool #

(>=) :: DimExp VName -> DimExp VName -> Bool #

max :: DimExp VName -> DimExp VName -> DimExp VName #

min :: DimExp VName -> DimExp VName -> DimExp VName #

Ord (DimExp Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimExp Name -> DimExp Name -> Ordering #

(<) :: DimExp Name -> DimExp Name -> Bool #

(<=) :: DimExp Name -> DimExp Name -> Bool #

(>) :: DimExp Name -> DimExp Name -> Bool #

(>=) :: DimExp Name -> DimExp Name -> Bool #

max :: DimExp Name -> DimExp Name -> DimExp Name #

min :: DimExp Name -> DimExp Name -> DimExp Name #

Show vn => Show (DimExp vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimExp vn -> ShowS #

show :: DimExp vn -> String #

showList :: [DimExp vn] -> ShowS #

IsName vn => Pretty (DimExp vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: DimExp vn -> Doc #

pprPrec :: Int -> DimExp vn -> Doc #

pprList :: [DimExp vn] -> Doc #

ASTMappable (DimExp VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> DimExp VName -> m (DimExp VName) Source #

data TypeExp vn Source #

An unstructured type with type variables and possibly shape declarations - this is what the user types in the source program. These are used to construct TypeBases in the type checker.

Constructors

TEVar (QualName vn) SrcLoc 
TETuple [TypeExp vn] SrcLoc 
TERecord [(Name, TypeExp vn)] SrcLoc 
TEArray (TypeExp vn) (DimExp vn) SrcLoc 
TEUnique (TypeExp vn) SrcLoc 
TEApply (TypeExp vn) (TypeArgExp vn) SrcLoc 
TEArrow (Maybe vn) (TypeExp vn) (TypeExp vn) SrcLoc 
TESum [(Name, [TypeExp vn])] SrcLoc 

Instances

Instances details
Eq (TypeExp VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeExp VName -> TypeExp VName -> Bool #

(/=) :: TypeExp VName -> TypeExp VName -> Bool #

Eq (TypeExp Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeExp Name -> TypeExp Name -> Bool #

(/=) :: TypeExp Name -> TypeExp Name -> Bool #

Ord (TypeExp VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeExp VName -> TypeExp VName -> Ordering #

(<) :: TypeExp VName -> TypeExp VName -> Bool #

(<=) :: TypeExp VName -> TypeExp VName -> Bool #

(>) :: TypeExp VName -> TypeExp VName -> Bool #

(>=) :: TypeExp VName -> TypeExp VName -> Bool #

max :: TypeExp VName -> TypeExp VName -> TypeExp VName #

min :: TypeExp VName -> TypeExp VName -> TypeExp VName #

Ord (TypeExp Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeExp Name -> TypeExp Name -> Ordering #

(<) :: TypeExp Name -> TypeExp Name -> Bool #

(<=) :: TypeExp Name -> TypeExp Name -> Bool #

(>) :: TypeExp Name -> TypeExp Name -> Bool #

(>=) :: TypeExp Name -> TypeExp Name -> Bool #

max :: TypeExp Name -> TypeExp Name -> TypeExp Name #

min :: TypeExp Name -> TypeExp Name -> TypeExp Name #

Show vn => Show (TypeExp vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeExp vn -> ShowS #

show :: TypeExp vn -> String #

showList :: [TypeExp vn] -> ShowS #

(Eq vn, IsName vn) => Pretty (TypeExp vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: TypeExp vn -> Doc #

pprPrec :: Int -> TypeExp vn -> Doc #

pprList :: [TypeExp vn] -> Doc #

Located (TypeExp vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeExp vn -> Loc #

locOfList :: [TypeExp vn] -> Loc #

ASTMappable (TypeExp VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeExp VName -> m (TypeExp VName) Source #

data TypeArgExp vn Source #

A type argument expression passed to a type constructor.

Constructors

TypeArgExpDim (DimExp vn) SrcLoc 
TypeArgExpType (TypeExp vn) 

Instances

Instances details
Eq (TypeArgExp VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeArgExp VName -> TypeArgExp VName -> Bool #

(/=) :: TypeArgExp VName -> TypeArgExp VName -> Bool #

Eq (TypeArgExp Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeArgExp Name -> TypeArgExp Name -> Bool #

(/=) :: TypeArgExp Name -> TypeArgExp Name -> Bool #

Ord (TypeArgExp VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeArgExp VName -> TypeArgExp VName -> Ordering #

(<) :: TypeArgExp VName -> TypeArgExp VName -> Bool #

(<=) :: TypeArgExp VName -> TypeArgExp VName -> Bool #

(>) :: TypeArgExp VName -> TypeArgExp VName -> Bool #

(>=) :: TypeArgExp VName -> TypeArgExp VName -> Bool #

max :: TypeArgExp VName -> TypeArgExp VName -> TypeArgExp VName #

min :: TypeArgExp VName -> TypeArgExp VName -> TypeArgExp VName #

Ord (TypeArgExp Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeArgExp Name -> TypeArgExp Name -> Ordering #

(<) :: TypeArgExp Name -> TypeArgExp Name -> Bool #

(<=) :: TypeArgExp Name -> TypeArgExp Name -> Bool #

(>) :: TypeArgExp Name -> TypeArgExp Name -> Bool #

(>=) :: TypeArgExp Name -> TypeArgExp Name -> Bool #

max :: TypeArgExp Name -> TypeArgExp Name -> TypeArgExp Name #

min :: TypeArgExp Name -> TypeArgExp Name -> TypeArgExp Name #

Show vn => Show (TypeArgExp vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeArgExp vn -> ShowS #

show :: TypeArgExp vn -> String #

showList :: [TypeArgExp vn] -> ShowS #

(Eq vn, IsName vn) => Pretty (TypeArgExp vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: TypeArgExp vn -> Doc #

pprPrec :: Int -> TypeArgExp vn -> Doc #

pprList :: [TypeArgExp vn] -> Doc #

Located (TypeArgExp vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeArgExp vn -> Loc #

locOfList :: [TypeArgExp vn] -> Loc #

ASTMappable (TypeArgExp VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeArgExp VName -> m (TypeArgExp VName) Source #

data PName Source #

The name (if any) of a function parameter. The Eq and Ord instances always compare values of this type equal.

Constructors

Named VName 
Unnamed 

Instances

Instances details
Eq PName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PName -> PName -> Bool #

(/=) :: PName -> PName -> Bool #

Ord PName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PName -> PName -> Ordering #

(<) :: PName -> PName -> Bool #

(<=) :: PName -> PName -> Bool #

(>) :: PName -> PName -> Bool #

(>=) :: PName -> PName -> Bool #

max :: PName -> PName -> PName #

min :: PName -> PName -> PName #

Show PName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PName -> ShowS #

show :: PName -> String #

showList :: [PName] -> ShowS #

data ScalarTypeBase dim as Source #

Types that can be elements of arrays. This representation does allow arrays of records of functions, which is nonsensical, but it convolutes the code too much if we try to statically rule it out.

Constructors

Prim PrimType 
TypeVar as Uniqueness TypeName [TypeArg dim] 
Record (Map Name (TypeBase dim as)) 
Sum (Map Name [TypeBase dim as]) 
Arrow as PName (TypeBase dim as) (TypeBase dim as)

The aliasing corresponds to the lexical closure of the function.

Instances

Instances details
Bifunctor ScalarTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bimap :: (a -> b) -> (c -> d) -> ScalarTypeBase a c -> ScalarTypeBase b d #

first :: (a -> b) -> ScalarTypeBase a c -> ScalarTypeBase b c #

second :: (b -> c) -> ScalarTypeBase a b -> ScalarTypeBase a c #

Bitraversable ScalarTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ScalarTypeBase a b -> f (ScalarTypeBase c d) #

Bifoldable ScalarTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bifold :: Monoid m => ScalarTypeBase m m -> m #

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ScalarTypeBase a b -> m #

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ScalarTypeBase a b -> c #

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ScalarTypeBase a b -> c #

(Eq as, Eq dim) => Eq (ScalarTypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool #

(/=) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool #

(Ord as, Ord dim) => Ord (ScalarTypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Ordering #

(<) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool #

(<=) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool #

(>) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool #

(>=) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool #

max :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> ScalarTypeBase dim as #

min :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> ScalarTypeBase dim as #

(Show as, Show dim) => Show (ScalarTypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ScalarTypeBase dim as -> ShowS #

show :: ScalarTypeBase dim as -> String #

showList :: [ScalarTypeBase dim as] -> ShowS #

Pretty (ShapeDecl dim) => Pretty (ScalarTypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ScalarTypeBase dim as -> Doc #

pprPrec :: Int -> ScalarTypeBase dim as -> Doc #

pprList :: [ScalarTypeBase dim as] -> Doc #

type PatternType = TypeBase (DimDecl VName) Aliasing Source #

A type with aliasing information and shape annotations, used for describing the type patterns and expressions.

type StructType = TypeBase (DimDecl VName) () Source #

A "structural" type with shape annotations and no aliasing information, used for declarations.

type ValueType = TypeBase Int64 () Source #

A value type contains full, manifest size information.

data Diet Source #

Information about which parts of a value/type are consumed.

Constructors

RecordDiet (Map Name Diet)

Consumes these fields in the record.

FuncDiet Diet Diet

A function that consumes its argument(s) like this. The final Diet should always be Observe, as there is no way for a function to consume its return value.

Consume

Consumes this value.

Observe

Only observes value in this position, does not consume.

Instances

Instances details
Eq Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: Diet -> Diet -> Bool #

(/=) :: Diet -> Diet -> Bool #

Show Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Diet -> ShowS #

show :: Diet -> String #

showList :: [Diet] -> ShowS #

data TypeDeclBase f vn Source #

A declaration of the type of something.

Constructors

TypeDecl 

Fields

Instances

Instances details
Eq (TypeDeclBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

(/=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

Ord (TypeDeclBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Ordering #

(<) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

(<=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

(>) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

(>=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

max :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName #

min :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName #

Showable f vn => Show (TypeDeclBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeDeclBase f vn -> ShowS #

show :: TypeDeclBase f vn -> String #

showList :: [TypeDeclBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (TypeDeclBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: TypeDeclBase f vn -> Doc #

pprPrec :: Int -> TypeDeclBase f vn -> Doc #

pprList :: [TypeDeclBase f vn] -> Doc #

Located (TypeDeclBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeDeclBase f vn -> Loc #

locOfList :: [TypeDeclBase f vn] -> Loc #

ASTMappable (TypeDeclBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeDeclBase Info VName -> m (TypeDeclBase Info VName) Source #

Values

data IntValue Source #

An integer value.

Constructors

Int8Value !Int8 
Int16Value !Int16 
Int32Value !Int32 
Int64Value !Int64 

Instances

Instances details
Eq IntValue Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

(==) :: IntValue -> IntValue -> Bool #

(/=) :: IntValue -> IntValue -> Bool #

Ord IntValue Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

compare :: IntValue -> IntValue -> Ordering #

(<) :: IntValue -> IntValue -> Bool #

(<=) :: IntValue -> IntValue -> Bool #

(>) :: IntValue -> IntValue -> Bool #

(>=) :: IntValue -> IntValue -> Bool #

max :: IntValue -> IntValue -> IntValue #

min :: IntValue -> IntValue -> IntValue #

Show IntValue Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

showsPrec :: Int -> IntValue -> ShowS #

show :: IntValue -> String #

showList :: [IntValue] -> ShowS #

ToExp IntValue Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: IntValue -> SrcLoc -> Exp #

Pretty IntValue Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

ppr :: IntValue -> Doc #

pprPrec :: Int -> IntValue -> Doc #

pprList :: [IntValue] -> Doc #

IsValue IntValue Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

Methods

value :: IntValue -> PrimValue Source #

data FloatValue Source #

A floating-point value.

Constructors

Float32Value !Float 
Float64Value !Double 

Instances

Instances details
Eq FloatValue Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

(==) :: FloatValue -> FloatValue -> Bool #

(/=) :: FloatValue -> FloatValue -> Bool #

Ord FloatValue Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

compare :: FloatValue -> FloatValue -> Ordering #

(<) :: FloatValue -> FloatValue -> Bool #

(<=) :: FloatValue -> FloatValue -> Bool #

(>) :: FloatValue -> FloatValue -> Bool #

(>=) :: FloatValue -> FloatValue -> Bool #

max :: FloatValue -> FloatValue -> FloatValue #

min :: FloatValue -> FloatValue -> FloatValue #

Show FloatValue Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

showsPrec :: Int -> FloatValue -> ShowS #

show :: FloatValue -> String #

showList :: [FloatValue] -> ShowS #

ToExp FloatValue Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: FloatValue -> SrcLoc -> Exp #

Pretty FloatValue Source # 
Instance details

Defined in Futhark.IR.Primitive

Methods

ppr :: FloatValue -> Doc #

pprPrec :: Int -> FloatValue -> Doc #

pprList :: [FloatValue] -> Doc #

IsValue FloatValue Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

Methods

value :: FloatValue -> PrimValue Source #

data PrimValue Source #

Non-array values.

Constructors

SignedValue !IntValue 
UnsignedValue !IntValue 
FloatValue !FloatValue 
BoolValue !Bool 

Instances

Instances details
Eq PrimValue Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PrimValue -> PrimValue -> Bool #

(/=) :: PrimValue -> PrimValue -> Bool #

Ord PrimValue Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PrimValue -> PrimValue -> Ordering #

(<) :: PrimValue -> PrimValue -> Bool #

(<=) :: PrimValue -> PrimValue -> Bool #

(>) :: PrimValue -> PrimValue -> Bool #

(>=) :: PrimValue -> PrimValue -> Bool #

max :: PrimValue -> PrimValue -> PrimValue #

min :: PrimValue -> PrimValue -> PrimValue #

Show PrimValue Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PrimValue -> ShowS #

show :: PrimValue -> String #

showList :: [PrimValue] -> ShowS #

Pretty PrimValue Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: PrimValue -> Doc #

pprPrec :: Int -> PrimValue -> Doc #

pprList :: [PrimValue] -> Doc #

PutValue PrimValue Source # 
Instance details

Defined in Futhark.Test.Values

Methods

putValue :: PrimValue -> Maybe Value Source #

class IsPrimValue v where Source #

A class for converting ordinary Haskell values to primitive Futhark values.

Methods

primValue :: v -> PrimValue Source #

Instances

Instances details
IsPrimValue Bool Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Bool -> PrimValue Source #

IsPrimValue Double Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Double -> PrimValue Source #

IsPrimValue Float Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Float -> PrimValue Source #

IsPrimValue Int Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int -> PrimValue Source #

IsPrimValue Int8 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int8 -> PrimValue Source #

IsPrimValue Int16 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int16 -> PrimValue Source #

IsPrimValue Int32 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int32 -> PrimValue Source #

IsPrimValue Int64 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int64 -> PrimValue Source #

IsPrimValue Word8 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word8 -> PrimValue Source #

IsPrimValue Word16 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word16 -> PrimValue Source #

IsPrimValue Word32 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word32 -> PrimValue Source #

IsPrimValue Word64 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word64 -> PrimValue Source #

data Value Source #

Simple Futhark values. Values are fully evaluated and their type is always unambiguous.

Constructors

PrimValue !PrimValue 
ArrayValue !(Array Int Value) ValueType

It is assumed that the array is 0-indexed. The type is the full type.

Instances

Instances details
Eq Value Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: Value -> Value -> Bool #

(/=) :: Value -> Value -> Bool #

Show Value Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Value -> ShowS #

show :: Value -> String #

showList :: [Value] -> ShowS #

Pretty Value Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: Value -> Doc #

pprPrec :: Int -> Value -> Doc #

pprList :: [Value] -> Doc #

Abstract syntax tree

data AttrInfo Source #

The payload of an attribute.

Constructors

AttrAtom Name 
AttrComp Name [AttrInfo] 

Instances

Instances details
Eq AttrInfo Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: AttrInfo -> AttrInfo -> Bool #

(/=) :: AttrInfo -> AttrInfo -> Bool #

Ord AttrInfo Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AttrInfo -> AttrInfo -> Ordering #

(<) :: AttrInfo -> AttrInfo -> Bool #

(<=) :: AttrInfo -> AttrInfo -> Bool #

(>) :: AttrInfo -> AttrInfo -> Bool #

(>=) :: AttrInfo -> AttrInfo -> Bool #

max :: AttrInfo -> AttrInfo -> AttrInfo #

min :: AttrInfo -> AttrInfo -> AttrInfo #

Show AttrInfo Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AttrInfo -> ShowS #

show :: AttrInfo -> String #

showList :: [AttrInfo] -> ShowS #

Pretty AttrInfo Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: AttrInfo -> Doc #

pprPrec :: Int -> AttrInfo -> Doc #

pprList :: [AttrInfo] -> Doc #

data BinOp Source #

Default binary operators.

Constructors

Backtick

A pseudo-operator standing in for any normal identifier used as an operator (they all have the same fixity). Binary Ops for Numbers

Plus 
Minus 
Pow 
Times 
Divide 
Mod 
Quot 
Rem 
ShiftR 
ShiftL 
Band 
Xor 
Bor 
LogAnd 
LogOr 
Equal 
NotEqual 
Less 
Leq 
Greater 
Geq 
PipeRight
|>
PipeLeft

<| Misc

Instances

Instances details
Bounded BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

minBound :: BinOp #

maxBound :: BinOp #

Enum BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

succ :: BinOp -> BinOp #

pred :: BinOp -> BinOp #

toEnum :: Int -> BinOp #

fromEnum :: BinOp -> Int #

enumFrom :: BinOp -> [BinOp] #

enumFromThen :: BinOp -> BinOp -> [BinOp] #

enumFromTo :: BinOp -> BinOp -> [BinOp] #

enumFromThenTo :: BinOp -> BinOp -> BinOp -> [BinOp] #

Eq BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: BinOp -> BinOp -> Bool #

(/=) :: BinOp -> BinOp -> Bool #

Ord BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: BinOp -> BinOp -> Ordering #

(<) :: BinOp -> BinOp -> Bool #

(<=) :: BinOp -> BinOp -> Bool #

(>) :: BinOp -> BinOp -> Bool #

(>=) :: BinOp -> BinOp -> Bool #

max :: BinOp -> BinOp -> BinOp #

min :: BinOp -> BinOp -> BinOp #

Show BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> BinOp -> ShowS #

show :: BinOp -> String #

showList :: [BinOp] -> ShowS #

Pretty BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

ppr :: BinOp -> Doc #

pprPrec :: Int -> BinOp -> Doc #

pprList :: [BinOp] -> Doc #

data IdentBase f vn Source #

An identifier consists of its name and the type of the value bound to the identifier.

Constructors

Ident 

Fields

Instances

Instances details
Eq vn => Eq (IdentBase ty vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: IdentBase ty vn -> IdentBase ty vn -> Bool #

(/=) :: IdentBase ty vn -> IdentBase ty vn -> Bool #

Ord vn => Ord (IdentBase ty vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: IdentBase ty vn -> IdentBase ty vn -> Ordering #

(<) :: IdentBase ty vn -> IdentBase ty vn -> Bool #

(<=) :: IdentBase ty vn -> IdentBase ty vn -> Bool #

(>) :: IdentBase ty vn -> IdentBase ty vn -> Bool #

(>=) :: IdentBase ty vn -> IdentBase ty vn -> Bool #

max :: IdentBase ty vn -> IdentBase ty vn -> IdentBase ty vn #

min :: IdentBase ty vn -> IdentBase ty vn -> IdentBase ty vn #

Showable f vn => Show (IdentBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase f vn -> ShowS #

show :: IdentBase f vn -> String #

showList :: [IdentBase f vn] -> ShowS #

IsName vn => Pretty (IdentBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: IdentBase f vn -> Doc #

pprPrec :: Int -> IdentBase f vn -> Doc #

pprList :: [IdentBase f vn] -> Doc #

Located (IdentBase ty vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: IdentBase ty vn -> Loc #

locOfList :: [IdentBase ty vn] -> Loc #

ASTMappable (IdentBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> IdentBase Info VName -> m (IdentBase Info VName) Source #

data Inclusiveness a Source #

Whether a bound for an end-point of a DimSlice or a range literal is inclusive or exclusive.

Constructors

DownToExclusive a 
ToInclusive a

May be "down to" if step is negative.

UpToExclusive a 

Instances

Instances details
Functor Inclusiveness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> Inclusiveness a -> Inclusiveness b #

(<$) :: a -> Inclusiveness b -> Inclusiveness a #

Foldable Inclusiveness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => Inclusiveness m -> m #

foldMap :: Monoid m => (a -> m) -> Inclusiveness a -> m #

foldMap' :: Monoid m => (a -> m) -> Inclusiveness a -> m #

foldr :: (a -> b -> b) -> b -> Inclusiveness a -> b #

foldr' :: (a -> b -> b) -> b -> Inclusiveness a -> b #

foldl :: (b -> a -> b) -> b -> Inclusiveness a -> b #

foldl' :: (b -> a -> b) -> b -> Inclusiveness a -> b #

foldr1 :: (a -> a -> a) -> Inclusiveness a -> a #

foldl1 :: (a -> a -> a) -> Inclusiveness a -> a #

toList :: Inclusiveness a -> [a] #

null :: Inclusiveness a -> Bool #

length :: Inclusiveness a -> Int #

elem :: Eq a => a -> Inclusiveness a -> Bool #

maximum :: Ord a => Inclusiveness a -> a #

minimum :: Ord a => Inclusiveness a -> a #

sum :: Num a => Inclusiveness a -> a #

product :: Num a => Inclusiveness a -> a #

Traversable Inclusiveness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> Inclusiveness a -> f (Inclusiveness b) #

sequenceA :: Applicative f => Inclusiveness (f a) -> f (Inclusiveness a) #

mapM :: Monad m => (a -> m b) -> Inclusiveness a -> m (Inclusiveness b) #

sequence :: Monad m => Inclusiveness (m a) -> m (Inclusiveness a) #

Eq a => Eq (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: Inclusiveness a -> Inclusiveness a -> Bool #

(/=) :: Inclusiveness a -> Inclusiveness a -> Bool #

Ord a => Ord (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Inclusiveness a -> Inclusiveness a -> Ordering #

(<) :: Inclusiveness a -> Inclusiveness a -> Bool #

(<=) :: Inclusiveness a -> Inclusiveness a -> Bool #

(>) :: Inclusiveness a -> Inclusiveness a -> Bool #

(>=) :: Inclusiveness a -> Inclusiveness a -> Bool #

max :: Inclusiveness a -> Inclusiveness a -> Inclusiveness a #

min :: Inclusiveness a -> Inclusiveness a -> Inclusiveness a #

Show a => Show (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Inclusiveness a -> ShowS #

show :: Inclusiveness a -> String #

showList :: [Inclusiveness a] -> ShowS #

Located a => Located (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: Inclusiveness a -> Loc #

locOfList :: [Inclusiveness a] -> Loc #

data DimIndexBase f vn Source #

An indexing of a single dimension.

Constructors

DimFix (ExpBase f vn) 
DimSlice (Maybe (ExpBase f vn)) (Maybe (ExpBase f vn)) (Maybe (ExpBase f vn)) 

Instances

Instances details
Eq (DimIndexBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

(/=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

Ord (DimIndexBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Ordering #

(<) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

(<=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

(>) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

(>=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

max :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName #

min :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName #

Showable f vn => Show (DimIndexBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase f vn -> ShowS #

show :: DimIndexBase f vn -> String #

showList :: [DimIndexBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (DimIndexBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: DimIndexBase f vn -> Doc #

pprPrec :: Int -> DimIndexBase f vn -> Doc #

pprList :: [DimIndexBase f vn] -> Doc #

ASTMappable (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> DimIndexBase Info VName -> m (DimIndexBase Info VName) Source #

data SizeBinder vn Source #

A binding of a size in a pattern (essentially a size parameter in a let expression).

Constructors

SizeBinder 

Fields

Instances

Instances details
Eq vn => Eq (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: SizeBinder vn -> SizeBinder vn -> Bool #

(/=) :: SizeBinder vn -> SizeBinder vn -> Bool #

Ord vn => Ord (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: SizeBinder vn -> SizeBinder vn -> Ordering #

(<) :: SizeBinder vn -> SizeBinder vn -> Bool #

(<=) :: SizeBinder vn -> SizeBinder vn -> Bool #

(>) :: SizeBinder vn -> SizeBinder vn -> Bool #

(>=) :: SizeBinder vn -> SizeBinder vn -> Bool #

max :: SizeBinder vn -> SizeBinder vn -> SizeBinder vn #

min :: SizeBinder vn -> SizeBinder vn -> SizeBinder vn #

Show vn => Show (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SizeBinder vn -> ShowS #

show :: SizeBinder vn -> String #

showList :: [SizeBinder vn] -> ShowS #

IsName vn => Pretty (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: SizeBinder vn -> Doc #

pprPrec :: Int -> SizeBinder vn -> Doc #

pprList :: [SizeBinder vn] -> Doc #

Located (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SizeBinder vn -> Loc #

locOfList :: [SizeBinder vn] -> Loc #

ASTMappable (SizeBinder VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> SizeBinder VName -> m (SizeBinder VName) Source #

data AppExpBase f vn Source #

An "application expression" is a semantic (not syntactic) grouping of expressions that have "funcall-like" semantics, mostly meaning that they can return existential sizes. In our type theory, these are all thought to be bound to names (*Administrative Normal Form*), but as this is not practical in a real language, we instead use an annotation (AppRes) that stores the information we need, so we can pretend that an application expression was really bound to a name.

Constructors

Apply (ExpBase f vn) (ExpBase f vn) (f (Diet, Maybe VName)) SrcLoc

The Maybe VName is a possible existential size that is instantiated by this argument..

Coerce (ExpBase f vn) (TypeDeclBase f vn) SrcLoc

Size coercion: e :> t.

Range (ExpBase f vn) (Maybe (ExpBase f vn)) (Inclusiveness (ExpBase f vn)) SrcLoc 
LetPat [SizeBinder vn] (PatternBase f vn) (ExpBase f vn) (ExpBase f vn) SrcLoc 
LetFun vn ([TypeParamBase vn], [PatternBase f vn], Maybe (TypeExp vn), f StructType, ExpBase f vn) (ExpBase f vn) SrcLoc 
If (ExpBase f vn) (ExpBase f vn) (ExpBase f vn) SrcLoc 
DoLoop [VName] (PatternBase f vn) (ExpBase f vn) (LoopFormBase f vn) (ExpBase f vn) SrcLoc 
BinOp (QualName vn, SrcLoc) (f PatternType) (ExpBase f vn, f (StructType, Maybe VName)) (ExpBase f vn, f (StructType, Maybe VName)) SrcLoc 
LetWith (IdentBase f vn) (IdentBase f vn) [DimIndexBase f vn] (ExpBase f vn) (ExpBase f vn) SrcLoc 
Index (ExpBase f vn) [DimIndexBase f vn] SrcLoc 
Match (ExpBase f vn) (NonEmpty (CaseBase f vn)) SrcLoc

A match expression.

Instances

Instances details
Eq (AppExpBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

(/=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

Ord (AppExpBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Ordering #

(<) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

(<=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

(>) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

(>=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

max :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> AppExpBase NoInfo VName #

min :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> AppExpBase NoInfo VName #

Showable f vn => Show (AppExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase f vn -> ShowS #

show :: AppExpBase f vn -> String #

showList :: [AppExpBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (AppExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: AppExpBase f vn -> Doc #

pprPrec :: Int -> AppExpBase f vn -> Doc #

pprList :: [AppExpBase f vn] -> Doc #

Located (AppExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: AppExpBase f vn -> Loc #

locOfList :: [AppExpBase f vn] -> Loc #

ASTMappable (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> AppExpBase Info VName -> m (AppExpBase Info VName) Source #

data AppRes Source #

An annotation inserted by the type checker on constructs that are "function calls" (either literally or conceptually). This annotation encodes the result type, as well as any existential sizes that are generated here.

Constructors

AppRes 

Fields

Instances

Instances details
Eq AppRes Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: AppRes -> AppRes -> Bool #

(/=) :: AppRes -> AppRes -> Bool #

Ord AppRes Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AppRes -> AppRes -> Ordering #

(<) :: AppRes -> AppRes -> Bool #

(<=) :: AppRes -> AppRes -> Bool #

(>) :: AppRes -> AppRes -> Bool #

(>=) :: AppRes -> AppRes -> Bool #

max :: AppRes -> AppRes -> AppRes #

min :: AppRes -> AppRes -> AppRes #

Show AppRes Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppRes -> ShowS #

show :: AppRes -> String #

showList :: [AppRes] -> ShowS #

ASTMappable AppRes Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> AppRes -> m AppRes Source #

data ExpBase f vn Source #

The Futhark expression language.

This allows us to encode whether or not the expression has been type-checked in the Haskell type of the expression. Specifically, the parser will produce expressions of type Exp NoInfo Name, and the type checker will convert these to Exp Info VName, in which type information is always present and all names are unique.

Constructors

Literal PrimValue SrcLoc 
IntLit Integer (f PatternType) SrcLoc

A polymorphic integral literal.

FloatLit Double (f PatternType) SrcLoc

A polymorphic decimal literal.

StringLit [Word8] SrcLoc

A string literal is just a fancy syntax for an array of bytes.

Var (QualName vn) (f PatternType) SrcLoc 
Parens (ExpBase f vn) SrcLoc

A parenthesized expression.

QualParens (QualName vn, SrcLoc) (ExpBase f vn) SrcLoc 
TupLit [ExpBase f vn] SrcLoc

Tuple literals, e.g., {1+3, {x, y+z}}.

RecordLit [FieldBase f vn] SrcLoc

Record literals, e.g. {x=2,y=3,z}.

ArrayLit [ExpBase f vn] (f PatternType) SrcLoc

Array literals, e.g., [ [1+x, 3], [2, 1+4] ]. Second arg is the row type of the rows of the array.

Attr AttrInfo (ExpBase f vn) SrcLoc

An attribute applied to the following expression.

Project Name (ExpBase f vn) (f PatternType) SrcLoc 
Negate (ExpBase f vn) SrcLoc

Numeric negation (ugly special case; Haskell did it first).

Assert (ExpBase f vn) (ExpBase f vn) (f String) SrcLoc

Fail if the first expression does not return true, and return the value of the second expression if it does.

Constr Name [ExpBase f vn] (f PatternType) SrcLoc

An n-ary value constructor.

Update (ExpBase f vn) [DimIndexBase f vn] (ExpBase f vn) SrcLoc 
RecordUpdate (ExpBase f vn) [Name] (ExpBase f vn) (f PatternType) SrcLoc 
Lambda [PatternBase f vn] (ExpBase f vn) (Maybe (TypeExp vn)) (f (Aliasing, StructType)) SrcLoc 
OpSection (QualName vn) (f PatternType) SrcLoc

+; first two types are operands, third is result.

OpSectionLeft (QualName vn) (f PatternType) (ExpBase f vn) (f (PName, StructType, Maybe VName), f (PName, StructType)) (f PatternType, f [VName]) SrcLoc

2+; first type is operand, second is result.

OpSectionRight (QualName vn) (f PatternType) (ExpBase f vn) (f (PName, StructType), f (PName, StructType, Maybe VName)) (f PatternType) SrcLoc

+2; first type is operand, second is result.

ProjectSection [Name] (f PatternType) SrcLoc

Field projection as a section: (.x.y.z).

IndexSection [DimIndexBase f vn] (f PatternType) SrcLoc

Array indexing as a section: (.[i,j]).

Ascript (ExpBase f vn) (TypeDeclBase f vn) SrcLoc

Type ascription: e : t.

AppExp (AppExpBase f vn) (f AppRes) 

Instances

Instances details
Eq (ExpBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

(/=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

Ord (ExpBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Ordering #

(<) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

(<=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

(>) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

(>=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

max :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> ExpBase NoInfo VName #

min :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> ExpBase NoInfo VName #

Showable f vn => Show (ExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase f vn -> ShowS #

show :: ExpBase f vn -> String #

showList :: [ExpBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (ExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ExpBase f vn -> Doc #

pprPrec :: Int -> ExpBase f vn -> Doc #

pprList :: [ExpBase f vn] -> Doc #

Located (ExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ExpBase f vn -> Loc #

locOfList :: [ExpBase f vn] -> Loc #

ASTMappable (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ExpBase Info VName -> m (ExpBase Info VName) Source #

data FieldBase f vn Source #

An entry in a record literal.

Constructors

RecordFieldExplicit Name (ExpBase f vn) SrcLoc 
RecordFieldImplicit vn (f PatternType) SrcLoc 

Instances

Instances details
Eq (FieldBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

(/=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

Ord (FieldBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Ordering #

(<) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

(<=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

(>) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

(>=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

max :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> FieldBase NoInfo VName #

min :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> FieldBase NoInfo VName #

Showable f vn => Show (FieldBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase f vn -> ShowS #

show :: FieldBase f vn -> String #

showList :: [FieldBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (FieldBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: FieldBase f vn -> Doc #

pprPrec :: Int -> FieldBase f vn -> Doc #

pprList :: [FieldBase f vn] -> Doc #

Located (FieldBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: FieldBase f vn -> Loc #

locOfList :: [FieldBase f vn] -> Loc #

ASTMappable (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> FieldBase Info VName -> m (FieldBase Info VName) Source #

data CaseBase f vn Source #

A case in a match expression.

Constructors

CasePat (PatternBase f vn) (ExpBase f vn) SrcLoc 

Instances

Instances details
Eq (CaseBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

(/=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

Ord (CaseBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Ordering #

(<) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

(<=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

(>) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

(>=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

max :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> CaseBase NoInfo VName #

min :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> CaseBase NoInfo VName #

Showable f vn => Show (CaseBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase f vn -> ShowS #

show :: CaseBase f vn -> String #

showList :: [CaseBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (CaseBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: CaseBase f vn -> Doc #

pprPrec :: Int -> CaseBase f vn -> Doc #

pprList :: [CaseBase f vn] -> Doc #

Located (CaseBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: CaseBase f vn -> Loc #

locOfList :: [CaseBase f vn] -> Loc #

ASTMappable (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> CaseBase Info VName -> m (CaseBase Info VName) Source #

data LoopFormBase f vn Source #

Whether the loop is a for-loop or a while-loop.

Constructors

For (IdentBase f vn) (ExpBase f vn) 
ForIn (PatternBase f vn) (ExpBase f vn) 
While (ExpBase f vn) 

Instances

Instances details
Eq (LoopFormBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

(/=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

Ord (LoopFormBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Ordering #

(<) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

(<=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

(>) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

(>=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

max :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName #

min :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName #

Showable f vn => Show (LoopFormBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase f vn -> ShowS #

show :: LoopFormBase f vn -> String #

showList :: [LoopFormBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (LoopFormBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: LoopFormBase f vn -> Doc #

pprPrec :: Int -> LoopFormBase f vn -> Doc #

pprList :: [LoopFormBase f vn] -> Doc #

ASTMappable (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> LoopFormBase Info VName -> m (LoopFormBase Info VName) Source #

data PatLit Source #

A literal in a pattern.

Constructors

PatLitInt Integer 
PatLitFloat Double 
PatLitPrim PrimValue 

Instances

Instances details
Eq PatLit Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatLit -> PatLit -> Bool #

(/=) :: PatLit -> PatLit -> Bool #

Ord PatLit Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatLit -> PatLit -> Ordering #

(<) :: PatLit -> PatLit -> Bool #

(<=) :: PatLit -> PatLit -> Bool #

(>) :: PatLit -> PatLit -> Bool #

(>=) :: PatLit -> PatLit -> Bool #

max :: PatLit -> PatLit -> PatLit #

min :: PatLit -> PatLit -> PatLit #

Show PatLit Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatLit -> ShowS #

show :: PatLit -> String #

showList :: [PatLit] -> ShowS #

Pretty PatLit Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: PatLit -> Doc #

pprPrec :: Int -> PatLit -> Doc #

pprList :: [PatLit] -> Doc #

data PatternBase f vn Source #

A pattern as used most places where variables are bound (function parameters, let expressions, etc).

Constructors

TuplePattern [PatternBase f vn] SrcLoc 
RecordPattern [(Name, PatternBase f vn)] SrcLoc 
PatternParens (PatternBase f vn) SrcLoc 
Id vn (f PatternType) SrcLoc 
Wildcard (f PatternType) SrcLoc 
PatternAscription (PatternBase f vn) (TypeDeclBase f vn) SrcLoc 
PatternLit PatLit (f PatternType) SrcLoc 
PatternConstr Name (f PatternType) [PatternBase f vn] SrcLoc 

Instances

Instances details
Substitutable Pattern Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pattern -> Pattern Source #

Eq (PatternBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

(/=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

Ord (PatternBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Ordering #

(<) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

(<=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

(>) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

(>=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

max :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> PatternBase NoInfo VName #

min :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> PatternBase NoInfo VName #

Showable f vn => Show (PatternBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatternBase f vn -> ShowS #

show :: PatternBase f vn -> String #

showList :: [PatternBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (PatternBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: PatternBase f vn -> Doc #

pprPrec :: Int -> PatternBase f vn -> Doc #

pprList :: [PatternBase f vn] -> Doc #

Located (PatternBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: PatternBase f vn -> Loc #

locOfList :: [PatternBase f vn] -> Loc #

ASTMappable (PatternBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatternBase Info VName -> m (PatternBase Info VName) Source #

Module language

data SpecBase f vn Source #

A spec is a component of a module type.

Constructors

ValSpec 

Fields

TypeAbbrSpec (TypeBindBase f vn) 
TypeSpec Liftedness vn [TypeParamBase vn] (Maybe DocComment) SrcLoc

Abstract type.

ModSpec vn (SigExpBase f vn) (Maybe DocComment) SrcLoc 
IncludeSpec (SigExpBase f vn) SrcLoc 

Instances

Instances details
Showable f vn => Show (SpecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase f vn -> ShowS #

show :: SpecBase f vn -> String #

showList :: [SpecBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (SpecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: SpecBase f vn -> Doc #

pprPrec :: Int -> SpecBase f vn -> Doc #

pprList :: [SpecBase f vn] -> Doc #

Located (SpecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SpecBase f vn -> Loc #

locOfList :: [SpecBase f vn] -> Loc #

data SigExpBase f vn Source #

A module type expression.

Constructors

SigVar (QualName vn) (f (Map VName VName)) SrcLoc 
SigParens (SigExpBase f vn) SrcLoc 
SigSpecs [SpecBase f vn] SrcLoc 
SigWith (SigExpBase f vn) (TypeRefBase f vn) SrcLoc 
SigArrow (Maybe vn) (SigExpBase f vn) (SigExpBase f vn) SrcLoc 

Instances

Instances details
Showable f vn => Show (SigExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigExpBase f vn -> ShowS #

show :: SigExpBase f vn -> String #

showList :: [SigExpBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (SigExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: SigExpBase f vn -> Doc #

pprPrec :: Int -> SigExpBase f vn -> Doc #

pprList :: [SigExpBase f vn] -> Doc #

Located (SigExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SigExpBase f vn -> Loc #

locOfList :: [SigExpBase f vn] -> Loc #

data TypeRefBase f vn Source #

A type refinement.

Constructors

TypeRef (QualName vn) [TypeParamBase vn] (TypeDeclBase f vn) SrcLoc 

Instances

Instances details
Showable f vn => Show (TypeRefBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase f vn -> ShowS #

show :: TypeRefBase f vn -> String #

showList :: [TypeRefBase f vn] -> ShowS #

Located (TypeRefBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeRefBase f vn -> Loc #

locOfList :: [TypeRefBase f vn] -> Loc #

data SigBindBase f vn Source #

Module type binding.

Constructors

SigBind 

Fields

Instances

Instances details
Showable f vn => Show (SigBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigBindBase f vn -> ShowS #

show :: SigBindBase f vn -> String #

showList :: [SigBindBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (SigBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: SigBindBase f vn -> Doc #

pprPrec :: Int -> SigBindBase f vn -> Doc #

pprList :: [SigBindBase f vn] -> Doc #

Located (SigBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SigBindBase f vn -> Loc #

locOfList :: [SigBindBase f vn] -> Loc #

data ModExpBase f vn Source #

Module expression.

Constructors

ModVar (QualName vn) SrcLoc 
ModParens (ModExpBase f vn) SrcLoc 
ModImport FilePath (f FilePath) SrcLoc

The contents of another file as a module.

ModDecs [DecBase f vn] SrcLoc 
ModApply (ModExpBase f vn) (ModExpBase f vn) (f (Map VName VName)) (f (Map VName VName)) SrcLoc

Functor application. The first mapping is from parameter names to argument names, while the second maps names in the constructed module to the names inside the functor.

ModAscript (ModExpBase f vn) (SigExpBase f vn) (f (Map VName VName)) SrcLoc 
ModLambda (ModParamBase f vn) (Maybe (SigExpBase f vn, f (Map VName VName))) (ModExpBase f vn) SrcLoc 

Instances

Instances details
Showable f vn => Show (ModExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase f vn -> ShowS #

show :: ModExpBase f vn -> String #

showList :: [ModExpBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (ModExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ModExpBase f vn -> Doc #

pprPrec :: Int -> ModExpBase f vn -> Doc #

pprList :: [ModExpBase f vn] -> Doc #

Located (ModExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModExpBase f vn -> Loc #

locOfList :: [ModExpBase f vn] -> Loc #

data ModBindBase f vn Source #

A module binding.

Constructors

ModBind 

Fields

Instances

Instances details
Showable f vn => Show (ModBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase f vn -> ShowS #

show :: ModBindBase f vn -> String #

showList :: [ModBindBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (ModBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ModBindBase f vn -> Doc #

pprPrec :: Int -> ModBindBase f vn -> Doc #

pprList :: [ModBindBase f vn] -> Doc #

Located (ModBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModBindBase f vn -> Loc #

locOfList :: [ModBindBase f vn] -> Loc #

data ModParamBase f vn Source #

A module parameter.

Constructors

ModParam 

Fields

Instances

Instances details
Showable f vn => Show (ModParamBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase f vn -> ShowS #

show :: ModParamBase f vn -> String #

showList :: [ModParamBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (ModParamBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ModParamBase f vn -> Doc #

pprPrec :: Int -> ModParamBase f vn -> Doc #

pprList :: [ModParamBase f vn] -> Doc #

Located (ModParamBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModParamBase f vn -> Loc #

locOfList :: [ModParamBase f vn] -> Loc #

Definitions

data DocComment Source #

Documentation strings, including source location.

Constructors

DocComment String SrcLoc 

Instances

Instances details
Show DocComment Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DocComment -> ShowS #

show :: DocComment -> String #

showList :: [DocComment] -> ShowS #

Located DocComment Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: DocComment -> Loc #

locOfList :: [DocComment] -> Loc #

data ValBindBase f vn Source #

Function Declarations

Constructors

ValBind 

Fields

Instances

Instances details
Showable f vn => Show (ValBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase f vn -> ShowS #

show :: ValBindBase f vn -> String #

showList :: [ValBindBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (ValBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ValBindBase f vn -> Doc #

pprPrec :: Int -> ValBindBase f vn -> Doc #

pprList :: [ValBindBase f vn] -> Doc #

Located (ValBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ValBindBase f vn -> Loc #

locOfList :: [ValBindBase f vn] -> Loc #

data EntryPoint Source #

Information about the external interface exposed by an entry point. The important thing is that that we remember the original source-language types, without desugaring them at all. The annoying thing is that we do not require type annotations on entry points, so the types can be either ascribed or inferred.

Constructors

EntryPoint 

Fields

Instances

Instances details
Show EntryPoint Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryPoint -> ShowS #

show :: EntryPoint -> String #

showList :: [EntryPoint] -> ShowS #

data EntryType Source #

Part of the type of an entry point. Has an actual type, and maybe also an ascribed type expression.

Constructors

EntryType 

Fields

Instances

Instances details
Show EntryType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryType -> ShowS #

show :: EntryType -> String #

showList :: [EntryType] -> ShowS #

data Liftedness Source #

The liftedness of a type parameter. By the Ord instance, Unlifted < SizeLifted < Lifted.

Constructors

Unlifted

May only be instantiated with a zero-order type of (possibly symbolically) known size.

SizeLifted

May only be instantiated with a zero-order type, but the size can be varying.

Lifted

May be instantiated with a functional type.

Instances

Instances details
Eq Liftedness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: Liftedness -> Liftedness -> Bool #

(/=) :: Liftedness -> Liftedness -> Bool #

Ord Liftedness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Liftedness -> Liftedness -> Ordering #

(<) :: Liftedness -> Liftedness -> Bool #

(<=) :: Liftedness -> Liftedness -> Bool #

(>) :: Liftedness -> Liftedness -> Bool #

(>=) :: Liftedness -> Liftedness -> Bool #

max :: Liftedness -> Liftedness -> Liftedness #

min :: Liftedness -> Liftedness -> Liftedness #

Show Liftedness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Liftedness -> ShowS #

show :: Liftedness -> String #

showList :: [Liftedness] -> ShowS #

Pretty Liftedness Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: Liftedness -> Doc #

pprPrec :: Int -> Liftedness -> Doc #

pprList :: [Liftedness] -> Doc #

data TypeBindBase f vn Source #

Type Declarations

Constructors

TypeBind 

Fields

Instances

Instances details
Showable f vn => Show (TypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase f vn -> ShowS #

show :: TypeBindBase f vn -> String #

showList :: [TypeBindBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (TypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: TypeBindBase f vn -> Doc #

pprPrec :: Int -> TypeBindBase f vn -> Doc #

pprList :: [TypeBindBase f vn] -> Doc #

Located (TypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeBindBase f vn -> Loc #

locOfList :: [TypeBindBase f vn] -> Loc #

data TypeParamBase vn Source #

A type parameter.

Constructors

TypeParamDim vn SrcLoc

A type parameter that must be a size.

TypeParamType Liftedness vn SrcLoc

A type parameter that must be a type.

Instances

Instances details
Functor TypeParamBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeParamBase a -> TypeParamBase b #

(<$) :: a -> TypeParamBase b -> TypeParamBase a #

Foldable TypeParamBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeParamBase m -> m #

foldMap :: Monoid m => (a -> m) -> TypeParamBase a -> m #

foldMap' :: Monoid m => (a -> m) -> TypeParamBase a -> m #

foldr :: (a -> b -> b) -> b -> TypeParamBase a -> b #

foldr' :: (a -> b -> b) -> b -> TypeParamBase a -> b #

foldl :: (b -> a -> b) -> b -> TypeParamBase a -> b #

foldl' :: (b -> a -> b) -> b -> TypeParamBase a -> b #

foldr1 :: (a -> a -> a) -> TypeParamBase a -> a #

foldl1 :: (a -> a -> a) -> TypeParamBase a -> a #

toList :: TypeParamBase a -> [a] #

null :: TypeParamBase a -> Bool #

length :: TypeParamBase a -> Int #

elem :: Eq a => a -> TypeParamBase a -> Bool #

maximum :: Ord a => TypeParamBase a -> a #

minimum :: Ord a => TypeParamBase a -> a #

sum :: Num a => TypeParamBase a -> a #

product :: Num a => TypeParamBase a -> a #

Traversable TypeParamBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> TypeParamBase a -> f (TypeParamBase b) #

sequenceA :: Applicative f => TypeParamBase (f a) -> f (TypeParamBase a) #

mapM :: Monad m => (a -> m b) -> TypeParamBase a -> m (TypeParamBase b) #

sequence :: Monad m => TypeParamBase (m a) -> m (TypeParamBase a) #

Eq vn => Eq (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeParamBase vn -> TypeParamBase vn -> Bool #

(/=) :: TypeParamBase vn -> TypeParamBase vn -> Bool #

Ord vn => Ord (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeParamBase vn -> TypeParamBase vn -> Ordering #

(<) :: TypeParamBase vn -> TypeParamBase vn -> Bool #

(<=) :: TypeParamBase vn -> TypeParamBase vn -> Bool #

(>) :: TypeParamBase vn -> TypeParamBase vn -> Bool #

(>=) :: TypeParamBase vn -> TypeParamBase vn -> Bool #

max :: TypeParamBase vn -> TypeParamBase vn -> TypeParamBase vn #

min :: TypeParamBase vn -> TypeParamBase vn -> TypeParamBase vn #

Show vn => Show (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeParamBase vn -> ShowS #

show :: TypeParamBase vn -> String #

showList :: [TypeParamBase vn] -> ShowS #

(Eq vn, IsName vn) => Pretty (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: TypeParamBase vn -> Doc #

pprPrec :: Int -> TypeParamBase vn -> Doc #

pprList :: [TypeParamBase vn] -> Doc #

Located (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeParamBase vn -> Loc #

locOfList :: [TypeParamBase vn] -> Loc #

ASTMappable (TypeParamBase VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeParamBase VName -> m (TypeParamBase VName) Source #

typeParamName :: TypeParamBase vn -> vn Source #

The name of a type parameter.

data ProgBase f vn Source #

The program described by a single Futhark file. May depend on other files.

Constructors

Prog 

Fields

Instances

Instances details
Showable f vn => Show (ProgBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase f vn -> ShowS #

show :: ProgBase f vn -> String #

showList :: [ProgBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (ProgBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: ProgBase f vn -> Doc #

pprPrec :: Int -> ProgBase f vn -> Doc #

pprList :: [ProgBase f vn] -> Doc #

data DecBase f vn Source #

A top-level binding.

Constructors

ValDec (ValBindBase f vn) 
TypeDec (TypeBindBase f vn) 
SigDec (SigBindBase f vn) 
ModDec (ModBindBase f vn) 
OpenDec (ModExpBase f vn) SrcLoc 
LocalDec (DecBase f vn) SrcLoc 
ImportDec FilePath (f FilePath) SrcLoc 

Instances

Instances details
Showable f vn => Show (DecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase f vn -> ShowS #

show :: DecBase f vn -> String #

showList :: [DecBase f vn] -> ShowS #

(Eq vn, IsName vn, Annot f) => Pretty (DecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: DecBase f vn -> Doc #

pprPrec :: Int -> DecBase f vn -> Doc #

pprList :: [DecBase f vn] -> Doc #

Located (DecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: DecBase f vn -> Loc #

locOfList :: [DecBase f vn] -> Loc #

Miscellaneous

class (Show vn, Show (f VName), Show (f (Diet, Maybe VName)), Show (f String), Show (f [VName]), Show (f ([VName], [VName])), Show (f PatternType), Show (f (PatternType, [VName])), Show (f (StructType, [VName])), Show (f EntryPoint), Show (f StructType), Show (f (StructType, Maybe VName)), Show (f (PName, StructType)), Show (f (PName, StructType, Maybe VName)), Show (f (Aliasing, StructType)), Show (f (Map VName VName)), Show (f AppRes)) => Showable f vn Source #

Convenience class for deriving Show instances for the AST.

Instances

Instances details
Show vn => Showable Info vn Source # 
Instance details

Defined in Language.Futhark.Syntax

Show vn => Showable NoInfo vn Source # 
Instance details

Defined in Language.Futhark.Syntax

data NoInfo a Source #

No information functor. Usually used for placeholder type- or aliasing information.

Constructors

NoInfo 

Instances

Instances details
Functor NoInfo Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> NoInfo a -> NoInfo b #

(<$) :: a -> NoInfo b -> NoInfo a #

Foldable NoInfo Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => NoInfo m -> m #

foldMap :: Monoid m => (a -> m) -> NoInfo a -> m #

foldMap' :: Monoid m => (a -> m) -> NoInfo a -> m #

foldr :: (a -> b -> b) -> b -> NoInfo a -> b #

foldr' :: (a -> b -> b) -> b -> NoInfo a -> b #

foldl :: (b -> a -> b) -> b -> NoInfo a -> b #

foldl' :: (b -> a -> b) -> b -> NoInfo a -> b #

foldr1 :: (a -> a -> a) -> NoInfo a -> a #

foldl1 :: (a -> a -> a) -> NoInfo a -> a #

toList :: NoInfo a -> [a] #

null :: NoInfo a -> Bool #

length :: NoInfo a -> Int #

elem :: Eq a => a -> NoInfo a -> Bool #

maximum :: Ord a => NoInfo a -> a #

minimum :: Ord a => NoInfo a -> a #

sum :: Num a => NoInfo a -> a #

product :: Num a => NoInfo a -> a #

Traversable NoInfo Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> NoInfo a -> f (NoInfo b) #

sequenceA :: Applicative f => NoInfo (f a) -> f (NoInfo a) #

mapM :: Monad m => (a -> m b) -> NoInfo a -> m (NoInfo b) #

sequence :: Monad m => NoInfo (m a) -> m (NoInfo a) #

Annot NoInfo Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

unAnnot :: NoInfo a -> Maybe a Source #

Show vn => Showable NoInfo vn Source # 
Instance details

Defined in Language.Futhark.Syntax

Eq (NoInfo a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: NoInfo a -> NoInfo a -> Bool #

(/=) :: NoInfo a -> NoInfo a -> Bool #

Ord (NoInfo a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: NoInfo a -> NoInfo a -> Ordering #

(<) :: NoInfo a -> NoInfo a -> Bool #

(<=) :: NoInfo a -> NoInfo a -> Bool #

(>) :: NoInfo a -> NoInfo a -> Bool #

(>=) :: NoInfo a -> NoInfo a -> Bool #

max :: NoInfo a -> NoInfo a -> NoInfo a #

min :: NoInfo a -> NoInfo a -> NoInfo a #

Show (NoInfo a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> NoInfo a -> ShowS #

show :: NoInfo a -> String #

showList :: [NoInfo a] -> ShowS #

Eq (PatternBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

(/=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

Eq (LoopFormBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

(/=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

Eq (CaseBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

(/=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

Eq (FieldBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

(/=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

Eq (ExpBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

(/=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

Eq (AppExpBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

(/=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

Eq (DimIndexBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

(/=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

Eq (TypeDeclBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

(/=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

Ord (PatternBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Ordering #

(<) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

(<=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

(>) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

(>=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #

max :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> PatternBase NoInfo VName #

min :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> PatternBase NoInfo VName #

Ord (LoopFormBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Ordering #

(<) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

(<=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

(>) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

(>=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #

max :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName #

min :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName #

Ord (CaseBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Ordering #

(<) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

(<=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

(>) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

(>=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #

max :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> CaseBase NoInfo VName #

min :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> CaseBase NoInfo VName #

Ord (FieldBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Ordering #

(<) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

(<=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

(>) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

(>=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #

max :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> FieldBase NoInfo VName #

min :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> FieldBase NoInfo VName #

Ord (ExpBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Ordering #

(<) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

(<=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

(>) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

(>=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #

max :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> ExpBase NoInfo VName #

min :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> ExpBase NoInfo VName #

Ord (AppExpBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Ordering #

(<) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

(<=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

(>) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

(>=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool #

max :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> AppExpBase NoInfo VName #

min :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> AppExpBase NoInfo VName #

Ord (DimIndexBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Ordering #

(<) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

(<=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

(>) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

(>=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #

max :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName #

min :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName #

Ord (TypeDeclBase NoInfo VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Ordering #

(<) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

(<=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

(>) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

(>=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #

max :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName #

min :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName #

newtype Info a Source #

Some information. The dual to NoInfo

Constructors

Info 

Fields

Instances

Instances details
Functor Info Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> Info a -> Info b #

(<$) :: a -> Info b -> Info a #

Foldable Info Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => Info m -> m #

foldMap :: Monoid m => (a -> m) -> Info a -> m #

foldMap' :: Monoid m => (a -> m) -> Info a -> m #

foldr :: (a -> b -> b) -> b -> Info a -> b #

foldr' :: (a -> b -> b) -> b -> Info a -> b #

foldl :: (b -> a -> b) -> b -> Info a -> b #

foldl' :: (b -> a -> b) -> b -> Info a -> b #

foldr1 :: (a -> a -> a) -> Info a -> a #

foldl1 :: (a -> a -> a) -> Info a -> a #

toList :: Info a -> [a] #

null :: Info a -> Bool #

length :: Info a -> Int #

elem :: Eq a => a -> Info a -> Bool #

maximum :: Ord a => Info a -> a #

minimum :: Ord a => Info a -> a #

sum :: Num a => Info a -> a #

product :: Num a => Info a -> a #

Traversable Info Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> Info a -> f (Info b) #

sequenceA :: Applicative f => Info (f a) -> f (Info a) #

mapM :: Monad m => (a -> m b) -> Info a -> m (Info b) #

sequence :: Monad m => Info (m a) -> m (Info a) #

Annot Info Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

unAnnot :: Info a -> Maybe a Source #

Substitutable Pattern Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pattern -> Pattern Source #

Show vn => Showable Info vn Source # 
Instance details

Defined in Language.Futhark.Syntax

Eq a => Eq (Info a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: Info a -> Info a -> Bool #

(/=) :: Info a -> Info a -> Bool #

Ord a => Ord (Info a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Info a -> Info a -> Ordering #

(<) :: Info a -> Info a -> Bool #

(<=) :: Info a -> Info a -> Bool #

(>) :: Info a -> Info a -> Bool #

(>=) :: Info a -> Info a -> Bool #

max :: Info a -> Info a -> Info a #

min :: Info a -> Info a -> Info a #

Show a => Show (Info a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Info a -> ShowS #

show :: Info a -> String #

showList :: [Info a] -> ShowS #

ASTMappable a => ASTMappable (Info a) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> Info a -> m (Info a) Source #

ASTMappable (PatternBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatternBase Info VName -> m (PatternBase Info VName) Source #

ASTMappable (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> LoopFormBase Info VName -> m (LoopFormBase Info VName) Source #

ASTMappable (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> CaseBase Info VName -> m (CaseBase Info VName) Source #

ASTMappable (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> FieldBase Info VName -> m (FieldBase Info VName) Source #

ASTMappable (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ExpBase Info VName -> m (ExpBase Info VName) Source #

ASTMappable (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> AppExpBase Info VName -> m (AppExpBase Info VName) Source #

ASTMappable (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> DimIndexBase Info VName -> m (DimIndexBase Info VName) Source #

ASTMappable (IdentBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> IdentBase Info VName -> m (IdentBase Info VName) Source #

ASTMappable (TypeDeclBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeDeclBase Info VName -> m (TypeDeclBase Info VName) Source #

data Alias Source #

A variable that is aliased. Can be still in-scope, or have gone out of scope and be free. In the latter case, it behaves more like an equivalence class. See uniqueness-error18.fut for an example of why this is necessary.

Constructors

AliasBound 

Fields

AliasFree 

Fields

Instances

Instances details
Eq Alias Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: Alias -> Alias -> Bool #

(/=) :: Alias -> Alias -> Bool #

Ord Alias Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Alias -> Alias -> Ordering #

(<) :: Alias -> Alias -> Bool #

(<=) :: Alias -> Alias -> Bool #

(>) :: Alias -> Alias -> Bool #

(>=) :: Alias -> Alias -> Bool #

max :: Alias -> Alias -> Alias #

min :: Alias -> Alias -> Alias #

Show Alias Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Alias -> ShowS #

show :: Alias -> String #

showList :: [Alias] -> ShowS #

ASTMappable PatternType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatternType -> m PatternType Source #

ASTMappable Aliasing Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> Aliasing -> m Aliasing Source #

ASTMappable Alias Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> Alias -> m Alias Source #

Substitutable (TypeBase (DimDecl VName) Aliasing) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase (DimDecl VName) Aliasing -> TypeBase (DimDecl VName) Aliasing Source #

type Aliasing = Set Alias Source #

Aliasing for a type, which is a set of the variables that are aliased.

data QualName vn Source #

A name qualified with a breadcrumb of module accesses.

Constructors

QualName 

Fields

Instances

Instances details
Functor QualName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> QualName a -> QualName b #

(<$) :: a -> QualName b -> QualName a #

Foldable QualName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => QualName m -> m #

foldMap :: Monoid m => (a -> m) -> QualName a -> m #

foldMap' :: Monoid m => (a -> m) -> QualName a -> m #

foldr :: (a -> b -> b) -> b -> QualName a -> b #

foldr' :: (a -> b -> b) -> b -> QualName a -> b #

foldl :: (b -> a -> b) -> b -> QualName a -> b #

foldl' :: (b -> a -> b) -> b -> QualName a -> b #

foldr1 :: (a -> a -> a) -> QualName a -> a #

foldl1 :: (a -> a -> a) -> QualName a -> a #

toList :: QualName a -> [a] #

null :: QualName a -> Bool #

length :: QualName a -> Int #

elem :: Eq a => a -> QualName a -> Bool #

maximum :: Ord a => QualName a -> a #

minimum :: Ord a => QualName a -> a #

sum :: Num a => QualName a -> a #

product :: Num a => QualName a -> a #

Traversable QualName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> QualName a -> f (QualName b) #

sequenceA :: Applicative f => QualName (f a) -> f (QualName a) #

mapM :: Monad m => (a -> m b) -> QualName a -> m (QualName b) #

sequence :: Monad m => QualName (m a) -> m (QualName a) #

Eq (QualName VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: QualName VName -> QualName VName -> Bool #

(/=) :: QualName VName -> QualName VName -> Bool #

Eq (QualName Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: QualName Name -> QualName Name -> Bool #

(/=) :: QualName Name -> QualName Name -> Bool #

Ord (QualName VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: QualName VName -> QualName VName -> Ordering #

(<) :: QualName VName -> QualName VName -> Bool #

(<=) :: QualName VName -> QualName VName -> Bool #

(>) :: QualName VName -> QualName VName -> Bool #

(>=) :: QualName VName -> QualName VName -> Bool #

max :: QualName VName -> QualName VName -> QualName VName #

min :: QualName VName -> QualName VName -> QualName VName #

Ord (QualName Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: QualName Name -> QualName Name -> Ordering #

(<) :: QualName Name -> QualName Name -> Bool #

(<=) :: QualName Name -> QualName Name -> Bool #

(>) :: QualName Name -> QualName Name -> Bool #

(>=) :: QualName Name -> QualName Name -> Bool #

max :: QualName Name -> QualName Name -> QualName Name #

min :: QualName Name -> QualName Name -> QualName Name #

Show vn => Show (QualName vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> QualName vn -> ShowS #

show :: QualName vn -> String #

showList :: [QualName vn] -> ShowS #

IsName vn => Pretty (QualName vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

ppr :: QualName vn -> Doc #

pprPrec :: Int -> QualName vn -> Doc #

pprList :: [QualName vn] -> Doc #