futhark
Safe HaskellNone
LanguageGHC2021

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 https://futhark.readthedocs.org for a language reference, or this module may be a little hard to understand.

The system of primitive types is interesting in itself. See Language.Futhark.Primitive.

Synopsis

Documentation

module Language.Futhark.Core

prettyString :: Pretty a => a -> String Source #

Prettyprint a value to a String, appropriately wrapped.

prettyText :: Pretty a => a -> Text Source #

Prettyprint a value to a Text, appropriately wrapped.

Types

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 Language.Futhark.Primitive

Methods

minBound :: IntType #

maxBound :: IntType #

Enum IntType Source # 
Instance details

Defined in Language.Futhark.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] #

Show IntType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> IntType -> ShowS #

show :: IntType -> String #

showList :: [IntType] -> ShowS #

Eq IntType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

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

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

Ord IntType Source # 
Instance details

Defined in Language.Futhark.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 #

Pretty IntType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

pretty :: IntType -> Doc ann #

prettyList :: [IntType] -> Doc ann #

data FloatType Source #

A floating point type.

Constructors

Float16 
Float32 
Float64 

Instances

Instances details
Bounded FloatType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

minBound :: FloatType #

maxBound :: FloatType #

Enum FloatType Source # 
Instance details

Defined in Language.Futhark.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] #

Show FloatType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> FloatType -> ShowS #

show :: FloatType -> String #

showList :: [FloatType] -> ShowS #

Eq FloatType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

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

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

Ord FloatType Source # 
Instance details

Defined in Language.Futhark.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 #

Pretty FloatType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

pretty :: FloatType -> Doc ann #

prettyList :: [FloatType] -> Doc ann #

data PrimType Source #

Low-level primitive types.

Constructors

Signed IntType 
Unsigned IntType 
FloatType FloatType 
Bool 

Instances

Instances details
Show PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PrimType -> ShowS #

show :: PrimType -> String #

showList :: [PrimType] -> ShowS #

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 #

Pretty PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

pretty :: PrimType -> Doc ann #

prettyList :: [PrimType] -> Doc ann #

type Size = ExpBase Info VName Source #

The elaborated size of a dimension is just an expression.

newtype Shape 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

Shape 

Fields

Instances

Instances details
Functor Shape Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable Shape Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

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

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

toList :: Shape a -> [a] #

null :: Shape a -> Bool #

length :: Shape a -> Int #

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

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

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

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

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

Traversable Shape Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

Defined in Language.Futhark.TypeChecker.Types

Methods

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

Monoid (Shape dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

mempty :: Shape dim #

mappend :: Shape dim -> Shape dim -> Shape dim #

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

Semigroup (Shape dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

Defined in Language.Futhark.Syntax

Methods

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

show :: Shape dim -> String #

showList :: [Shape dim] -> ShowS #

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

Defined in Language.Futhark.Syntax

Methods

compare :: Shape dim -> Shape dim -> Ordering #

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

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

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

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

max :: Shape dim -> Shape dim -> Shape dim #

min :: Shape dim -> Shape dim -> Shape dim #

Pretty (Shape Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann #

prettyList :: [Shape Size] -> Doc ann #

Pretty (Shape Int64) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Int64 -> Doc ann #

prettyList :: [Shape Int64] -> Doc ann #

Pretty (Shape ()) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape () -> Doc ann #

prettyList :: [Shape ()] -> Doc ann #

Pretty (Shape Bool) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Bool -> Doc ann #

prettyList :: [Shape Bool] -> Doc ann #

shapeRank :: Shape dim -> Int Source #

The number of dimensions contained in a shape.

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

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

data TypeBase dim o 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. The o parameter is the mode: what the type says about how the value may be used, beyond its structure. It is Diet for parameters, Freshness for return types, and NoMode where nothing is said. Note that these are unrelated to each other - a mode is whatever the position calls for, not a single property.

Constructors

Scalar (ScalarTypeBase dim o) 
Array o (Shape dim) (ScalarTypeBase dim NoMode) 

Instances

Instances details
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 #

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) #

ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ParamType -> ParamType Source #

Substitutable StructType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> StructType -> StructType Source #

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #

Functor (TypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeBase dim a -> TypeBase dim b #

(<$) :: a -> TypeBase dim b -> TypeBase dim a #

Foldable (TypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeBase dim m -> m #

foldMap :: Monoid m => (a -> m) -> TypeBase dim a -> m #

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

foldr :: (a -> b -> b) -> b -> TypeBase dim a -> b #

foldr' :: (a -> b -> b) -> b -> TypeBase dim a -> b #

foldl :: (b -> a -> b) -> b -> TypeBase dim a -> b #

foldl' :: (b -> a -> b) -> b -> TypeBase dim a -> b #

foldr1 :: (a -> a -> a) -> TypeBase dim a -> a #

foldl1 :: (a -> a -> a) -> TypeBase dim a -> a #

toList :: TypeBase dim a -> [a] #

null :: TypeBase dim a -> Bool #

length :: TypeBase dim a -> Int #

elem :: Eq a => a -> TypeBase dim a -> Bool #

maximum :: Ord a => TypeBase dim a -> a #

minimum :: Ord a => TypeBase dim a -> a #

sum :: Num a => TypeBase dim a -> a #

product :: Num a => TypeBase dim a -> a #

Traversable (TypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

sequenceA :: Applicative f => TypeBase dim (f a) -> f (TypeBase dim a) #

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

sequence :: Monad m => TypeBase dim (m a) -> m (TypeBase dim a) #

ASTMappable (TypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeBase Size Freshness -> m (TypeBase Size Freshness) Source #

Substitutable (TypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Freshness -> TypeBase Size Freshness Source #

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

Defined in Language.Futhark.Syntax

Methods

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

show :: TypeBase dim o -> String #

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

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: TypeBase dim o -> TypeBase dim o -> TypeBase dim o #

min :: TypeBase dim o -> TypeBase dim o -> TypeBase dim o #

(Pretty (Shape dim), Pretty o) => Pretty (TypeBase dim o) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeBase dim o -> Doc ann #

prettyList :: [TypeBase dim o] -> Doc ann #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

data TypeArg dim Source #

An argument passed to a type constructor.

Constructors

TypeArgDim dim 
TypeArgType (TypeBase dim NoMode) 

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) #

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 #

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 #

Pretty (TypeArg Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArg Size -> Doc ann #

prettyList :: [TypeArg Size] -> Doc ann #

data SizeExp d Source #

A dimension declaration expression for use in a TypeExp. Syntactically includes the brackets.

Constructors

SizeExp d SrcLoc

The size of the dimension is this expression (or whatever), all of which free variables must be in scope.

SizeExpAny SrcLoc

No dimension declaration.

Instances

Instances details
Functor SizeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable SizeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

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

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

toList :: SizeExp a -> [a] #

null :: SizeExp a -> Bool #

length :: SizeExp a -> Int #

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

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

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

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

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

Traversable SizeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

ASTMappable (SizeExp (ExpBase Info VName)) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show d => Show (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SizeExp d -> ShowS #

show :: SizeExp d -> String #

showList :: [SizeExp d] -> ShowS #

Eq d => Eq (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: SizeExp d -> SizeExp d -> Bool #

(/=) :: SizeExp d -> SizeExp d -> Bool #

Ord d => Ord (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: SizeExp d -> SizeExp d -> Ordering #

(<) :: SizeExp d -> SizeExp d -> Bool #

(<=) :: SizeExp d -> SizeExp d -> Bool #

(>) :: SizeExp d -> SizeExp d -> Bool #

(>=) :: SizeExp d -> SizeExp d -> Bool #

max :: SizeExp d -> SizeExp d -> SizeExp d #

min :: SizeExp d -> SizeExp d -> SizeExp d #

Pretty d => Pretty (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: SizeExp d -> Doc ann #

prettyList :: [SizeExp d] -> Doc ann #

Located (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SizeExp d -> Loc #

locOfList :: [SizeExp d] -> Loc #

data TypeExp d vn Source #

An unstructured syntactic 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 
TEParens (TypeExp d vn) SrcLoc 
TETuple [TypeExp d vn] SrcLoc 
TERecord [(L Name, TypeExp d vn)] SrcLoc 
TEArray (SizeExp d) (TypeExp d vn) SrcLoc 
TEStar (TypeExp d vn) SrcLoc

A * prefix. The meaning depends on where the type expression occurs: consumption on a parameter, freshness on a return type.

TEApply (TypeExp d vn) (TypeArgExp d vn) SrcLoc 
TEArrow (Maybe vn) (TypeExp d vn) (TypeExp d vn) SrcLoc 
TESum [(Name, [TypeExp d vn])] SrcLoc 
TEDim [vn] (TypeExp d vn) SrcLoc 

Instances

Instances details
Bifoldable TypeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

Bifunctor TypeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

Bitraversable TypeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

Functor (TypeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeExp d a -> TypeExp d b #

(<$) :: a -> TypeExp d b -> TypeExp d a #

Foldable (TypeExp dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeExp dim m -> m #

foldMap :: Monoid m => (a -> m) -> TypeExp dim a -> m #

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

foldr :: (a -> b -> b) -> b -> TypeExp dim a -> b #

foldr' :: (a -> b -> b) -> b -> TypeExp dim a -> b #

foldl :: (b -> a -> b) -> b -> TypeExp dim a -> b #

foldl' :: (b -> a -> b) -> b -> TypeExp dim a -> b #

foldr1 :: (a -> a -> a) -> TypeExp dim a -> a #

foldl1 :: (a -> a -> a) -> TypeExp dim a -> a #

toList :: TypeExp dim a -> [a] #

null :: TypeExp dim a -> Bool #

length :: TypeExp dim a -> Int #

elem :: Eq a => a -> TypeExp dim a -> Bool #

maximum :: Ord a => TypeExp dim a -> a #

minimum :: Ord a => TypeExp dim a -> a #

sum :: Num a => TypeExp dim a -> a #

product :: Num a => TypeExp dim a -> a #

Traversable (TypeExp dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

sequenceA :: Applicative f => TypeExp dim (f a) -> f (TypeExp dim a) #

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

sequence :: Monad m => TypeExp dim (m a) -> m (TypeExp dim a) #

ASTMappable (TypeExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

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

Defined in Language.Futhark.Syntax

Methods

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

show :: TypeExp d vn -> String #

showList :: [TypeExp d vn] -> ShowS #

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

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeExp d vn -> TypeExp d vn -> Bool #

(/=) :: TypeExp d vn -> TypeExp d vn -> Bool #

(Ord vn, Ord d) => Ord (TypeExp d vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeExp d vn -> TypeExp d vn -> Ordering #

(<) :: TypeExp d vn -> TypeExp d vn -> Bool #

(<=) :: TypeExp d vn -> TypeExp d vn -> Bool #

(>) :: TypeExp d vn -> TypeExp d vn -> Bool #

(>=) :: TypeExp d vn -> TypeExp d vn -> Bool #

max :: TypeExp d vn -> TypeExp d vn -> TypeExp d vn #

min :: TypeExp d vn -> TypeExp d vn -> TypeExp d vn #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeExp d vn -> Doc ann #

prettyList :: [TypeExp d vn] -> Doc ann #

Located (TypeExp f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeExp f vn -> Loc #

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

data TypeArgExp d vn Source #

A type argument expression passed to a type constructor.

Constructors

TypeArgExpSize (SizeExp d) 
TypeArgExpType (TypeExp d vn) 

Instances

Instances details
Bifoldable TypeArgExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

Bifunctor TypeArgExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

Bitraversable TypeArgExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

Functor (TypeArgExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeArgExp d a -> TypeArgExp d b #

(<$) :: a -> TypeArgExp d b -> TypeArgExp d a #

Foldable (TypeArgExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeArgExp d m -> m #

foldMap :: Monoid m => (a -> m) -> TypeArgExp d a -> m #

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

foldr :: (a -> b -> b) -> b -> TypeArgExp d a -> b #

foldr' :: (a -> b -> b) -> b -> TypeArgExp d a -> b #

foldl :: (b -> a -> b) -> b -> TypeArgExp d a -> b #

foldl' :: (b -> a -> b) -> b -> TypeArgExp d a -> b #

foldr1 :: (a -> a -> a) -> TypeArgExp d a -> a #

foldl1 :: (a -> a -> a) -> TypeArgExp d a -> a #

toList :: TypeArgExp d a -> [a] #

null :: TypeArgExp d a -> Bool #

length :: TypeArgExp d a -> Int #

elem :: Eq a => a -> TypeArgExp d a -> Bool #

maximum :: Ord a => TypeArgExp d a -> a #

minimum :: Ord a => TypeArgExp d a -> a #

sum :: Num a => TypeArgExp d a -> a #

product :: Num a => TypeArgExp d a -> a #

Traversable (TypeArgExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

sequenceA :: Applicative f => TypeArgExp d (f a) -> f (TypeArgExp d a) #

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

sequence :: Monad m => TypeArgExp d (m a) -> m (TypeArgExp d a) #

ASTMappable (TypeArgExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

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

Defined in Language.Futhark.Syntax

Methods

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

show :: TypeArgExp d vn -> String #

showList :: [TypeArgExp d vn] -> ShowS #

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

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool #

(/=) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool #

(Ord d, Ord vn) => Ord (TypeArgExp d vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeArgExp d vn -> TypeArgExp d vn -> Ordering #

(<) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool #

(<=) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool #

(>) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool #

(>=) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool #

max :: TypeArgExp d vn -> TypeArgExp d vn -> TypeArgExp d vn #

min :: TypeArgExp d vn -> TypeArgExp d vn -> TypeArgExp d vn #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArgExp d vn -> Doc ann #

prettyList :: [TypeArgExp d vn] -> Doc ann #

Located (TypeArgExp f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeArgExp f vn -> Loc #

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

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
Show PName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PName -> ShowS #

show :: PName -> String #

showList :: [PName] -> ShowS #

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 #

data ScalarTypeBase dim o 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 o (QualName VName) [TypeArg dim] 
Record (Map Name (TypeBase dim o)) 
Sum (Map Name [TypeBase dim o]) 
Arrow o PName Diet (TypeBase dim NoMode) (RetTypeBase dim Freshness)

The aliasing corresponds to the lexical closure of the function.

Instances

Instances details
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 #

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) #

Functor (ScalarTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> ScalarTypeBase dim a -> ScalarTypeBase dim b #

(<$) :: a -> ScalarTypeBase dim b -> ScalarTypeBase dim a #

Foldable (ScalarTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => ScalarTypeBase dim m -> m #

foldMap :: Monoid m => (a -> m) -> ScalarTypeBase dim a -> m #

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

foldr :: (a -> b -> b) -> b -> ScalarTypeBase dim a -> b #

foldr' :: (a -> b -> b) -> b -> ScalarTypeBase dim a -> b #

foldl :: (b -> a -> b) -> b -> ScalarTypeBase dim a -> b #

foldl' :: (b -> a -> b) -> b -> ScalarTypeBase dim a -> b #

foldr1 :: (a -> a -> a) -> ScalarTypeBase dim a -> a #

foldl1 :: (a -> a -> a) -> ScalarTypeBase dim a -> a #

toList :: ScalarTypeBase dim a -> [a] #

null :: ScalarTypeBase dim a -> Bool #

length :: ScalarTypeBase dim a -> Int #

elem :: Eq a => a -> ScalarTypeBase dim a -> Bool #

maximum :: Ord a => ScalarTypeBase dim a -> a #

minimum :: Ord a => ScalarTypeBase dim a -> a #

sum :: Num a => ScalarTypeBase dim a -> a #

product :: Num a => ScalarTypeBase dim a -> a #

Traversable (ScalarTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

sequenceA :: Applicative f => ScalarTypeBase dim (f a) -> f (ScalarTypeBase dim a) #

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

sequence :: Monad m => ScalarTypeBase dim (m a) -> m (ScalarTypeBase dim a) #

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

Defined in Language.Futhark.Syntax

Methods

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

show :: ScalarTypeBase dim o -> String #

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

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: ScalarTypeBase dim o -> ScalarTypeBase dim o -> ScalarTypeBase dim o #

min :: ScalarTypeBase dim o -> ScalarTypeBase dim o -> ScalarTypeBase dim o #

(Pretty (Shape dim), Pretty o) => Pretty (ScalarTypeBase dim o) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ScalarTypeBase dim o -> Doc ann #

prettyList :: [ScalarTypeBase dim o] -> Doc ann #

data RetTypeBase dim o Source #

Types that can appear to the right of a function arrow. This just means they can be existentially quantified.

Constructors

RetType 

Fields

Instances

Instances details
Bifoldable RetTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

Bifunctor RetTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

Bitraversable RetTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Functor (RetTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> RetTypeBase dim a -> RetTypeBase dim b #

(<$) :: a -> RetTypeBase dim b -> RetTypeBase dim a #

Foldable (RetTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => RetTypeBase dim m -> m #

foldMap :: Monoid m => (a -> m) -> RetTypeBase dim a -> m #

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

foldr :: (a -> b -> b) -> b -> RetTypeBase dim a -> b #

foldr' :: (a -> b -> b) -> b -> RetTypeBase dim a -> b #

foldl :: (b -> a -> b) -> b -> RetTypeBase dim a -> b #

foldl' :: (b -> a -> b) -> b -> RetTypeBase dim a -> b #

foldr1 :: (a -> a -> a) -> RetTypeBase dim a -> a #

foldl1 :: (a -> a -> a) -> RetTypeBase dim a -> a #

toList :: RetTypeBase dim a -> [a] #

null :: RetTypeBase dim a -> Bool #

length :: RetTypeBase dim a -> Int #

elem :: Eq a => a -> RetTypeBase dim a -> Bool #

maximum :: Ord a => RetTypeBase dim a -> a #

minimum :: Ord a => RetTypeBase dim a -> a #

sum :: Num a => RetTypeBase dim a -> a #

product :: Num a => RetTypeBase dim a -> a #

Traversable (RetTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

sequenceA :: Applicative f => RetTypeBase dim (f a) -> f (RetTypeBase dim a) #

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

sequence :: Monad m => RetTypeBase dim (m a) -> m (RetTypeBase dim a) #

Substitutable (RetTypeBase Size NoMode) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size NoMode -> RetTypeBase Size NoMode Source #

Substitutable (RetTypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Freshness -> RetTypeBase Size Freshness Source #

(Show o, Show dim) => Show (RetTypeBase dim o) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> RetTypeBase dim o -> ShowS #

show :: RetTypeBase dim o -> String #

showList :: [RetTypeBase dim o] -> ShowS #

(Eq o, Eq dim) => Eq (RetTypeBase dim o) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: RetTypeBase dim o -> RetTypeBase dim o -> Bool #

(/=) :: RetTypeBase dim o -> RetTypeBase dim o -> Bool #

(Ord o, Ord dim) => Ord (RetTypeBase dim o) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: RetTypeBase dim o -> RetTypeBase dim o -> Ordering #

(<) :: RetTypeBase dim o -> RetTypeBase dim o -> Bool #

(<=) :: RetTypeBase dim o -> RetTypeBase dim o -> Bool #

(>) :: RetTypeBase dim o -> RetTypeBase dim o -> Bool #

(>=) :: RetTypeBase dim o -> RetTypeBase dim o -> Bool #

max :: RetTypeBase dim o -> RetTypeBase dim o -> RetTypeBase dim o #

min :: RetTypeBase dim o -> RetTypeBase dim o -> RetTypeBase dim o #

(Pretty (Shape dim), Pretty o) => Pretty (RetTypeBase dim o) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: RetTypeBase dim o -> Doc ann #

prettyList :: [RetTypeBase dim o] -> Doc ann #

type StructType = TypeBase Size NoMode Source #

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

type ParamType = TypeBase Size Diet Source #

A type with consumption information, used for function parameters (but not in function types).

type ResType = TypeBase Size Freshness Source #

A type with freshness information, used for function return types

type StructRetType = RetTypeBase Size NoMode Source #

The return type version of a ResType.

type ResRetType = RetTypeBase Size Freshness Source #

The return type version of a StructType.

type ValueType = TypeBase Int64 NoMode Source #

A value type contains full, manifest size information.

data Diet Source #

The mode of a function parameter: which parts of it are consumed. This can be considered kind of an effect on the function.

Constructors

Observe

Does not consume the parameter.

Consume

Consumes the parameter.

Instances

Instances details
ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ParamType -> ParamType Source #

Monoid Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

mempty :: Diet #

mappend :: Diet -> Diet -> Diet #

mconcat :: [Diet] -> Diet #

Semigroup Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(<>) :: Diet -> Diet -> Diet #

sconcat :: NonEmpty Diet -> Diet #

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

Show Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Diet -> ShowS #

show :: Diet -> String #

showList :: [Diet] -> ShowS #

Eq Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Diet -> Diet -> Ordering #

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

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

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

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

max :: Diet -> Diet -> Diet #

min :: Diet -> Diet -> Diet #

Pretty Diet Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Diet -> Doc ann #

prettyList :: [Diet] -> Doc ann #

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

data Freshness Source #

The mode of a function result: whether it may alias the arguments. Note the asymmetry: Fresh is a guarantee about the result, while Nonfresh is a permission granted to the implementation.

Constructors

Nonfresh

May alias the observed arguments.

Fresh

Aliases nothing that is visible to the caller.

Instances

Instances details
ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Monoid Freshness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

mempty :: Freshness #

mappend :: Freshness -> Freshness -> Freshness #

mconcat :: [Freshness] -> Freshness #

Semigroup Freshness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(<>) :: Freshness -> Freshness -> Freshness #

sconcat :: NonEmpty Freshness -> Freshness #

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

Bounded Freshness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

minBound :: Freshness #

maxBound :: Freshness #

Show Freshness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Freshness -> ShowS #

show :: Freshness -> String #

showList :: [Freshness] -> ShowS #

Eq Freshness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord Freshness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Freshness -> Freshness -> Ordering #

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

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

(>) :: Freshness -> Freshness -> Bool #

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

max :: Freshness -> Freshness -> Freshness #

min :: Freshness -> Freshness -> Freshness #

Pretty Freshness Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Freshness -> Doc ann #

prettyList :: [Freshness] -> Doc ann #

ASTMappable (TypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeBase Size Freshness -> m (TypeBase Size Freshness) Source #

Substitutable (RetTypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Freshness -> RetTypeBase Size Freshness Source #

Substitutable (TypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Freshness -> TypeBase Size Freshness Source #

Values

data IntValue Source #

An integer value.

Constructors

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

Instances

Instances details
IsValue IntValue Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

Methods

value :: IntValue -> PrimValue Source #

Show IntValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> IntValue -> ShowS #

show :: IntValue -> String #

showList :: [IntValue] -> ShowS #

Eq IntValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

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

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

Ord IntValue Source # 
Instance details

Defined in Language.Futhark.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 #

ToExp IntValue Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: IntValue -> SrcLoc -> Exp #

Pretty IntValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

pretty :: IntValue -> Doc ann #

prettyList :: [IntValue] -> Doc ann #

data FloatValue Source #

A floating-point value.

Constructors

Float16Value !Half 
Float32Value !Float 
Float64Value !Double 

Instances

Instances details
IsValue FloatValue Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

Methods

value :: FloatValue -> PrimValue Source #

Show FloatValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> FloatValue -> ShowS #

show :: FloatValue -> String #

showList :: [FloatValue] -> ShowS #

Eq FloatValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

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

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

Ord FloatValue Source # 
Instance details

Defined in Language.Futhark.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 #

ToExp FloatValue Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: FloatValue -> SrcLoc -> Exp #

Pretty FloatValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

pretty :: FloatValue -> Doc ann #

prettyList :: [FloatValue] -> Doc ann #

data PrimValue Source #

Non-array values.

Constructors

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

Instances

Instances details
Show PrimValue Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PrimValue -> ShowS #

show :: PrimValue -> String #

showList :: [PrimValue] -> ShowS #

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 #

Pretty PrimValue Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: PrimValue -> Doc ann #

prettyList :: [PrimValue] -> Doc ann #

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 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 Int8 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int8 -> 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 #

IsPrimValue Word8 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word8 -> PrimValue Source #

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 #

Abstract syntax tree

data AttrInfo vn Source #

The payload of an attribute.

Constructors

AttrAtom (AttrAtom vn) SrcLoc 
AttrComp Name [AttrInfo vn] SrcLoc 

Instances

Instances details
IsString (AttrInfo vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fromString :: String -> AttrInfo vn #

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

Defined in Language.Futhark.Syntax

Methods

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

show :: AttrInfo vn -> String #

showList :: [AttrInfo vn] -> ShowS #

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

Defined in Language.Futhark.Syntax

Methods

compare :: AttrInfo vn -> AttrInfo vn -> Ordering #

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

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

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

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

max :: AttrInfo vn -> AttrInfo vn -> AttrInfo vn #

min :: AttrInfo vn -> AttrInfo vn -> AttrInfo vn #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: AttrInfo vn -> Doc ann #

prettyList :: [AttrInfo vn] -> Doc ann #

data AttrAtom vn Source #

The value of an AttrAtom.

Constructors

AtomName Name 
AtomVar vn 
AtomInt Integer 

Instances

Instances details
IsString (AttrAtom vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fromString :: String -> AttrAtom vn #

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

Defined in Language.Futhark.Syntax

Methods

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

show :: AttrAtom vn -> String #

showList :: [AttrAtom vn] -> ShowS #

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

Defined in Language.Futhark.Syntax

Methods

compare :: AttrAtom vn -> AttrAtom vn -> Ordering #

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

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

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

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

max :: AttrAtom vn -> AttrAtom vn -> AttrAtom vn #

min :: AttrAtom vn -> AttrAtom vn -> AttrAtom vn #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: AttrAtom vn -> Doc ann #

prettyList :: [AttrAtom vn] -> Doc ann #

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).

Bang

Not a real operator, but operator with this as a prefix may be defined by the user.

Equ

Not a real operator, but operator with this as a prefix may be defined by the user.

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] #

Show BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> BinOp -> ShowS #

show :: BinOp -> String #

showList :: [BinOp] -> ShowS #

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 #

Pretty BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

pretty :: BinOp -> Doc ann #

prettyList :: [BinOp] -> Doc ann #

data IdentBase (f :: k -> Type) vn (t :: k) Source #

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

Constructors

Ident 

Fields

Instances

Instances details
ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (Info t) => Show (IdentBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase Info VName t -> ShowS #

show :: IdentBase Info VName t -> String #

showList :: [IdentBase Info VName t] -> ShowS #

(Show (Info t), Show vn) => Show (IdentBase (NoInfo :: Type -> Type) vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase (NoInfo :: Type -> Type) vn t -> ShowS #

show :: IdentBase (NoInfo :: Type -> Type) vn t -> String #

showList :: [IdentBase (NoInfo :: Type -> Type) vn t] -> ShowS #

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

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

Defined in Language.Futhark.Pretty

Methods

pretty :: IdentBase f vn t -> Doc ann #

prettyList :: [IdentBase f vn t] -> Doc ann #

Located (IdentBase ty vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: IdentBase ty vn t -> Loc #

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

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) #

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 #

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 #

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 :: Type -> Type) 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
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 #

Show (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase Info VName -> ShowS #

show :: DimIndexBase Info VName -> String #

showList :: [DimIndexBase Info VName] -> ShowS #

Show vn => Show (DimIndexBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: DimIndexBase (NoInfo :: Type -> Type) vn -> String #

showList :: [DimIndexBase (NoInfo :: Type -> Type) vn] -> ShowS #

Eq (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (DimIndexBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: DimIndexBase Info VName -> DimIndexBase Info VName -> DimIndexBase Info VName #

min :: DimIndexBase Info VName -> DimIndexBase Info VName -> DimIndexBase Info VName #

Ord (DimIndexBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName #

min :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: DimIndexBase f vn -> Doc ann #

prettyList :: [DimIndexBase f vn] -> Doc ann #

type SliceBase (f :: Type -> Type) vn = [DimIndexBase f vn] Source #

A slicing of an array (potentially multiple dimensions).

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
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 #

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 #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: SizeBinder vn -> Doc ann #

prettyList :: [SizeBinder vn] -> Doc ann #

Located (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SizeBinder vn -> Loc #

locOfList :: [SizeBinder vn] -> Loc #

data AppExpBase (f :: Type -> Type) 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) (NonEmpty (f (Maybe VName), ExpBase f vn)) SrcLoc

Function application. Parts of the compiler expects that the function expression is never itself an Apply. Use the mkApply function to maintain this invariant, rather than constructing Apply directly.

The Maybe VNames are existential sizes generated by this argument. May have duplicates across the program, but they will all produce the same value (the expressions will be identical).

Range (ExpBase f vn) (Maybe (ExpBase f vn)) (Inclusiveness (ExpBase f vn)) SrcLoc 
LetPat [SizeBinder vn] (PatBase f vn StructType) (ExpBase f vn) (ExpBase f vn) SrcLoc 
LetFun (vn, SrcLoc) ([TypeParamBase vn], [PatBase f vn ParamType], Maybe (TypeExp (ExpBase f vn) vn), f ResRetType, ExpBase f vn) (ExpBase f vn) SrcLoc 
If (ExpBase f vn) (ExpBase f vn) (ExpBase f vn) SrcLoc 
Loop [VName] (PatBase f vn ParamType) (LoopInitBase f vn) (LoopFormBase f vn) (ExpBase f vn) SrcLoc 
BinOp (QualName vn, SrcLoc) (f StructType) (ExpBase f vn, f (Maybe VName)) (ExpBase f vn, f (Maybe VName)) SrcLoc 
LetWith (IdentBase f vn StructType) (IdentBase f vn StructType) [UpdateStep f vn] (ExpBase f vn) (ExpBase f vn) SrcLoc 
Index (ExpBase f vn) (SliceBase f vn) SrcLoc 
Match (ExpBase f vn) (NonEmpty (CaseBase f vn)) SrcLoc

A match expression.

Instances

Instances details
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 #

Show (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase Info VName -> ShowS #

show :: AppExpBase Info VName -> String #

showList :: [AppExpBase Info VName] -> ShowS #

Show vn => Show (AppExpBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: AppExpBase (NoInfo :: Type -> Type) vn -> String #

showList :: [AppExpBase (NoInfo :: Type -> Type) vn] -> ShowS #

Eq (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (AppExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: AppExpBase Info VName -> AppExpBase Info VName -> AppExpBase Info VName #

min :: AppExpBase Info VName -> AppExpBase Info VName -> AppExpBase Info VName #

Ord (AppExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName #

min :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: AppExpBase f vn -> Doc ann #

prettyList :: [AppExpBase f vn] -> Doc ann #

Located (AppExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: AppExpBase f vn -> Loc #

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

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
ASTMappable AppRes Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show AppRes Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppRes -> ShowS #

show :: AppRes -> String #

showList :: [AppRes] -> ShowS #

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 #

data ExpBase (f :: Type -> Type) 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 StructType) SrcLoc

A polymorphic integral literal.

FloatLit Double (f StructType) SrcLoc

A polymorphic decimal literal.

StringLit [Word8] SrcLoc

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

Hole (f StructType) SrcLoc 
Var (QualName vn) (f StructType) 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 StructType) SrcLoc

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

ArrayVal [PrimValue] PrimType SrcLoc

Array value constants, where the elements are known to be constant primitives. This is a fast-path variant of ArrayLit that will in some cases be constructed by the parser, and also result from normalisation later on. Has exactly the same semantics as an ArrayLit.

Attr (AttrInfo vn) (ExpBase f vn) SrcLoc

An attribute applied to the following expression.

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

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

Not (ExpBase f vn) SrcLoc

Logical and bitwise negation.

Assert (ExpBase f vn) (ExpBase f vn) (f Text) 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 StructType) SrcLoc

An n-ary value constructor.

Update (ExpBase f vn) [UpdateStep f vn] (ExpBase f vn) (f StructType) SrcLoc 
Lambda [PatBase f vn ParamType] (ExpBase f vn) (Maybe (TypeExp (ExpBase f vn) vn)) (f ResRetType) SrcLoc 
OpSection (QualName vn) (f StructType) SrcLoc

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

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

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

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

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

UpdateSection [UpdateStep f vn] (f StructType) SrcLoc

Field projection and array indexing as a section, e.g. (.x), (.[i,j]), (.[0].x).

Ascript (ExpBase f vn) (TypeExp (ExpBase f vn) vn) SrcLoc

Type ascription: e : t.

Coerce (ExpBase f vn) (TypeExp (ExpBase f vn) vn) (f StructType) SrcLoc

Size coercion: e :> t.

AppExp (AppExpBase f vn) (f AppRes) 

Instances

Instances details
ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable Exp Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Exp -> Exp Source #

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ParamType -> ParamType Source #

Substitutable StructType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> StructType -> StructType Source #

ASTMappable (SizeExp (ExpBase Info VName)) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #

Pretty (Shape Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann #

prettyList :: [Shape Size] -> Doc ann #

Pretty (TypeArg Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArg Size -> Doc ann #

prettyList :: [TypeArg Size] -> Doc ann #

Pretty (CtTy Size) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Constraints

Methods

pretty :: CtTy Size -> Doc ann #

prettyList :: [CtTy Size] -> Doc ann #

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 (TypeArgExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (TypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeBase Size Freshness -> m (TypeBase Size Freshness) Source #

ASTMappable (TypeExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable (RetTypeBase Size NoMode) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size NoMode -> RetTypeBase Size NoMode Source #

Substitutable (RetTypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Freshness -> RetTypeBase Size Freshness Source #

Substitutable (TypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Freshness -> TypeBase Size Freshness Source #

Show (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase Info VName -> ShowS #

show :: ExpBase Info VName -> String #

showList :: [ExpBase Info VName] -> ShowS #

Show vn => Show (ExpBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: ExpBase (NoInfo :: Type -> Type) vn -> String #

showList :: [ExpBase (NoInfo :: Type -> Type) vn] -> ShowS #

Eq (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (ExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: ExpBase Info VName -> ExpBase Info VName -> ExpBase Info VName #

min :: ExpBase Info VName -> ExpBase Info VName -> ExpBase Info VName #

Ord (ExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName #

min :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: ExpBase f vn -> Doc ann #

prettyList :: [ExpBase f vn] -> Doc ann #

Located (ExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ExpBase f vn -> Loc #

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

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

data UpdateStep (f :: Type -> Type) vn Source #

Constructors

UpdateStepSlice (SliceBase f vn) 
UpdateStepField Name 

Instances

Instances details
Show (UpdateStep Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> UpdateStep Info VName -> ShowS #

show :: UpdateStep Info VName -> String #

showList :: [UpdateStep Info VName] -> ShowS #

Show vn => Show (UpdateStep (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> UpdateStep (NoInfo :: Type -> Type) vn -> ShowS #

show :: UpdateStep (NoInfo :: Type -> Type) vn -> String #

showList :: [UpdateStep (NoInfo :: Type -> Type) vn] -> ShowS #

Eq (UpdateStep Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

(/=) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

Eq (UpdateStep (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

(/=) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

Ord (UpdateStep Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: UpdateStep Info VName -> UpdateStep Info VName -> Ordering #

(<) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

(<=) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

(>) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

(>=) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

max :: UpdateStep Info VName -> UpdateStep Info VName -> UpdateStep Info VName #

min :: UpdateStep Info VName -> UpdateStep Info VName -> UpdateStep Info VName #

Ord (UpdateStep (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Ordering #

(<) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

(<=) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

(>) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

(>=) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

max :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName #

min :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName #

data FieldBase (f :: Type -> Type) vn Source #

An entry in a record literal.

Constructors

RecordFieldExplicit (L Name) (ExpBase f vn) SrcLoc 
RecordFieldImplicit (L vn) (f StructType) SrcLoc 

Instances

Instances details
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 #

Show (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase Info VName -> ShowS #

show :: FieldBase Info VName -> String #

showList :: [FieldBase Info VName] -> ShowS #

Show vn => Show (FieldBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: FieldBase (NoInfo :: Type -> Type) vn -> String #

showList :: [FieldBase (NoInfo :: Type -> Type) vn] -> ShowS #

Eq (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (FieldBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: FieldBase Info VName -> FieldBase Info VName -> FieldBase Info VName #

min :: FieldBase Info VName -> FieldBase Info VName -> FieldBase Info VName #

Ord (FieldBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName #

min :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: FieldBase f vn -> Doc ann #

prettyList :: [FieldBase f vn] -> Doc ann #

Located (FieldBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: FieldBase f vn -> Loc #

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

data CaseBase (f :: Type -> Type) vn Source #

A case in a match expression.

Constructors

CasePat (PatBase f vn StructType) (ExpBase f vn) SrcLoc 

Instances

Instances details
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 #

Show (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase Info VName -> ShowS #

show :: CaseBase Info VName -> String #

showList :: [CaseBase Info VName] -> ShowS #

Show vn => Show (CaseBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: CaseBase (NoInfo :: Type -> Type) vn -> String #

showList :: [CaseBase (NoInfo :: Type -> Type) vn] -> ShowS #

Eq (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (CaseBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: CaseBase Info VName -> CaseBase Info VName -> CaseBase Info VName #

min :: CaseBase Info VName -> CaseBase Info VName -> CaseBase Info VName #

Ord (CaseBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName #

min :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: CaseBase f vn -> Doc ann #

prettyList :: [CaseBase f vn] -> Doc ann #

Located (CaseBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: CaseBase f vn -> Loc #

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

data LoopInitBase (f :: Type -> Type) vn Source #

Initial value for the loop. If none is provided, then an expression will be synthesised based on the parameter.

Constructors

LoopInitExplicit (ExpBase f vn) 
LoopInitImplicit (f (ExpBase f vn)) 

Instances

Instances details
ASTMappable (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopInitBase Info VName -> ShowS #

show :: LoopInitBase Info VName -> String #

showList :: [LoopInitBase Info VName] -> ShowS #

Show vn => Show (LoopInitBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopInitBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: LoopInitBase (NoInfo :: Type -> Type) vn -> String #

showList :: [LoopInitBase (NoInfo :: Type -> Type) vn] -> ShowS #

Eq (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

(/=) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

Eq (LoopInitBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

(/=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

Ord (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase Info VName -> LoopInitBase Info VName -> Ordering #

(<) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

(<=) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

(>) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

(>=) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

max :: LoopInitBase Info VName -> LoopInitBase Info VName -> LoopInitBase Info VName #

min :: LoopInitBase Info VName -> LoopInitBase Info VName -> LoopInitBase Info VName #

Ord (LoopInitBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Ordering #

(<) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

(<=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

(>) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

(>=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

max :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName #

min :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: LoopInitBase f vn -> Doc ann #

prettyList :: [LoopInitBase f vn] -> Doc ann #

Located (LoopInitBase Info vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: LoopInitBase Info vn -> Loc #

locOfList :: [LoopInitBase Info vn] -> Loc #

data LoopFormBase (f :: Type -> Type) vn Source #

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

Constructors

For (IdentBase f vn StructType) (ExpBase f vn) 
ForIn (PatBase f vn StructType) (ExpBase f vn) 
While (ExpBase f vn) 

Instances

Instances details
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 #

Show (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase Info VName -> ShowS #

show :: LoopFormBase Info VName -> String #

showList :: [LoopFormBase Info VName] -> ShowS #

Show vn => Show (LoopFormBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: LoopFormBase (NoInfo :: Type -> Type) vn -> String #

showList :: [LoopFormBase (NoInfo :: Type -> Type) vn] -> ShowS #

Eq (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopFormBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: LoopFormBase Info VName -> LoopFormBase Info VName -> LoopFormBase Info VName #

min :: LoopFormBase Info VName -> LoopFormBase Info VName -> LoopFormBase Info VName #

Ord (LoopFormBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName #

min :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: LoopFormBase f vn -> Doc ann #

prettyList :: [LoopFormBase f vn] -> Doc ann #

data PatLit Source #

A literal in a pattern.

Constructors

PatLitInt Integer 
PatLitFloat Double 
PatLitPrim PrimValue 

Instances

Instances details
Show PatLit Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatLit -> ShowS #

show :: PatLit -> String #

showList :: [PatLit] -> ShowS #

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 #

Pretty PatLit Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: PatLit -> Doc ann #

prettyList :: [PatLit] -> Doc ann #

data PatBase (f :: Type -> Type) vn t Source #

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

Constructors

TuplePat [PatBase f vn t] SrcLoc 
RecordPat [(L Name, PatBase f vn t)] SrcLoc 
PatParens (PatBase f vn t) SrcLoc 
Id vn (f t) SrcLoc 
Wildcard (f t) SrcLoc 
PatAscription (PatBase f vn t) (TypeExp (ExpBase f vn) vn) SrcLoc 
PatLit PatLit (f t) SrcLoc 
PatConstr Name (f t) [PatBase f vn t] SrcLoc 
PatAttr (AttrInfo vn) (PatBase f vn t) SrcLoc 

Instances

Instances details
Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #

Traversable f => Functor (PatBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> PatBase f vn a -> PatBase f vn b #

(<$) :: a -> PatBase f vn b -> PatBase f vn a #

Traversable f => Foldable (PatBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => PatBase f vn m -> m #

foldMap :: Monoid m => (a -> m) -> PatBase f vn a -> m #

foldMap' :: Monoid m => (a -> m) -> PatBase f vn a -> m #

foldr :: (a -> b -> b) -> b -> PatBase f vn a -> b #

foldr' :: (a -> b -> b) -> b -> PatBase f vn a -> b #

foldl :: (b -> a -> b) -> b -> PatBase f vn a -> b #

foldl' :: (b -> a -> b) -> b -> PatBase f vn a -> b #

foldr1 :: (a -> a -> a) -> PatBase f vn a -> a #

foldl1 :: (a -> a -> a) -> PatBase f vn a -> a #

toList :: PatBase f vn a -> [a] #

null :: PatBase f vn a -> Bool #

length :: PatBase f vn a -> Int #

elem :: Eq a => a -> PatBase f vn a -> Bool #

maximum :: Ord a => PatBase f vn a -> a #

minimum :: Ord a => PatBase f vn a -> a #

sum :: Num a => PatBase f vn a -> a #

product :: Num a => PatBase f vn a -> a #

Traversable f => Traversable (PatBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f0 => (a -> f0 b) -> PatBase f vn a -> f0 (PatBase f vn b) #

sequenceA :: Applicative f0 => PatBase f vn (f0 a) -> f0 (PatBase f vn a) #

mapM :: Monad m => (a -> m b) -> PatBase f vn a -> m (PatBase f vn b) #

sequence :: Monad m => PatBase f vn (m a) -> m (PatBase f vn a) #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (Info t) => Show (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase Info VName t -> ShowS #

show :: PatBase Info VName t -> String #

showList :: [PatBase Info VName t] -> ShowS #

(Show (NoInfo t), Show vn) => Show (PatBase (NoInfo :: Type -> Type) vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase (NoInfo :: Type -> Type) vn t -> ShowS #

show :: PatBase (NoInfo :: Type -> Type) vn t -> String #

showList :: [PatBase (NoInfo :: Type -> Type) vn t] -> ShowS #

Eq (Info t) => Eq (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

(/=) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

Eq (NoInfo t) => Eq (PatBase (NoInfo :: Type -> Type) VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

(/=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

Ord (Info t) => Ord (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase Info VName t -> PatBase Info VName t -> Ordering #

(<) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

(<=) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

(>) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

(>=) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

max :: PatBase Info VName t -> PatBase Info VName t -> PatBase Info VName t #

min :: PatBase Info VName t -> PatBase Info VName t -> PatBase Info VName t #

Ord (NoInfo t) => Ord (PatBase (NoInfo :: Type -> Type) VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Ordering #

(<) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

(<=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

(>) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

(>=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

max :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t #

min :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t #

(IsName vn, Annot f, Pretty t) => Pretty (PatBase f vn t) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: PatBase f vn t -> Doc ann #

prettyList :: [PatBase f vn t] -> Doc ann #

Located (PatBase f vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: PatBase f vn t -> Loc #

locOfList :: [PatBase f vn t] -> Loc #

Module language

newtype ImportName Source #

Canonical reference to a Futhark code file. Does not include the .fut extension. This is most often a path relative to the working directory of the compiler. In a multi-file program, a file is known by exactly one import name, even if it is referenced relatively by different names by files in different subdirectories.

Constructors

ImportName FilePath 

Instances

Instances details
Show ImportName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ImportName -> ShowS #

show :: ImportName -> String #

showList :: [ImportName] -> ShowS #

Eq ImportName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord ImportName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ImportName -> ImportName -> Ordering #

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

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

(>) :: ImportName -> ImportName -> Bool #

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

max :: ImportName -> ImportName -> ImportName #

min :: ImportName -> ImportName -> ImportName #

data SpecBase (f :: Type -> Type) 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 (ModTypeExpBase f vn) (Maybe DocComment) SrcLoc 
IncludeSpec (ModTypeExpBase f vn) SrcLoc 

Instances

Instances details
Show (SpecBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase Info VName -> ShowS #

show :: SpecBase Info VName -> String #

showList :: [SpecBase Info VName] -> ShowS #

Show (SpecBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: SpecBase (NoInfo :: Type -> Type) Name -> String #

showList :: [SpecBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: SpecBase f vn -> Doc ann #

prettyList :: [SpecBase f vn] -> Doc ann #

Located (SpecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SpecBase f vn -> Loc #

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

data ModTypeExpBase (f :: Type -> Type) vn Source #

A module type expression.

Constructors

ModTypeVar (QualName vn) (f (Map VName VName)) SrcLoc 
ModTypeParens (ModTypeExpBase f vn) SrcLoc 
ModTypeSpecs [SpecBase f vn] SrcLoc 
ModTypeWith (ModTypeExpBase f vn) (TypeRefBase f vn) SrcLoc 
ModTypeArrow (Maybe vn) (ModTypeExpBase f vn) (ModTypeExpBase f vn) SrcLoc 

Instances

Instances details
Show (ModTypeExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeExpBase Info VName -> ShowS #

show :: ModTypeExpBase Info VName -> String #

showList :: [ModTypeExpBase Info VName] -> ShowS #

Show (ModTypeExpBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeExpBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModTypeExpBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModTypeExpBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: ModTypeExpBase f vn -> Doc ann #

prettyList :: [ModTypeExpBase f vn] -> Doc ann #

Located (ModTypeExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModTypeExpBase f vn -> Loc #

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

data TypeRefBase (f :: Type -> Type) vn Source #

A type refinement.

Constructors

TypeRef (QualName vn) [TypeParamBase vn] (TypeExp (ExpBase f vn) vn) SrcLoc 

Instances

Instances details
Show (TypeRefBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase Info VName -> ShowS #

show :: TypeRefBase Info VName -> String #

showList :: [TypeRefBase Info VName] -> ShowS #

Show (TypeRefBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: TypeRefBase (NoInfo :: Type -> Type) Name -> String #

showList :: [TypeRefBase (NoInfo :: Type -> Type) Name] -> 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 ModTypeBindBase (f :: Type -> Type) vn Source #

Module type binding.

Constructors

ModTypeBind 

Fields

Instances

Instances details
Show (ModTypeBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeBindBase Info VName -> ShowS #

show :: ModTypeBindBase Info VName -> String #

showList :: [ModTypeBindBase Info VName] -> ShowS #

Show (ModTypeBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeBindBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModTypeBindBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModTypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: ModTypeBindBase f vn -> Doc ann #

prettyList :: [ModTypeBindBase f vn] -> Doc ann #

Located (ModTypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModTypeBindBase f vn -> Loc #

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

data ModExpBase (f :: Type -> Type) vn Source #

Module expression.

Constructors

ModVar (QualName vn) SrcLoc 
ModParens (ModExpBase f vn) SrcLoc 
ModImport FilePath (f ImportName) 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) (ModTypeExpBase f vn) (f (Map VName VName)) SrcLoc 
ModLambda (ModParamBase f vn) (Maybe (ModTypeExpBase f vn, f (Map VName VName))) (ModExpBase f vn) SrcLoc 

Instances

Instances details
Show (ModExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase Info VName -> ShowS #

show :: ModExpBase Info VName -> String #

showList :: [ModExpBase Info VName] -> ShowS #

Show (ModExpBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModExpBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModExpBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: ModExpBase f vn -> Doc ann #

prettyList :: [ModExpBase f vn] -> Doc ann #

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 :: Type -> Type) vn Source #

A module binding.

Constructors

ModBind 

Fields

Instances

Instances details
Show (ModBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase Info VName -> ShowS #

show :: ModBindBase Info VName -> String #

showList :: [ModBindBase Info VName] -> ShowS #

Show (ModBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModBindBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModBindBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: ModBindBase f vn -> Doc ann #

prettyList :: [ModBindBase f vn] -> Doc ann #

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 :: Type -> Type) vn Source #

A module parameter.

Constructors

ModParam 

Fields

Instances

Instances details
Show (ModParamBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase Info VName -> ShowS #

show :: ModParamBase Info VName -> String #

showList :: [ModParamBase Info VName] -> ShowS #

Show (ModParamBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModParamBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModParamBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: ModParamBase f vn -> Doc ann #

prettyList :: [ModParamBase f vn] -> Doc ann #

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. The string may contain newline characters, but it does not contain comment prefix markers.

Constructors

DocComment Text 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 :: Type -> Type) vn Source #

Function Declarations

Constructors

ValBind 

Fields

Instances

Instances details
Show (ValBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase Info VName -> ShowS #

show :: ValBindBase Info VName -> String #

showList :: [ValBindBase Info VName] -> ShowS #

Show (ValBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ValBindBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ValBindBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: ValBindBase f vn -> Doc ann #

prettyList :: [ValBindBase f vn] -> Doc ann #

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. Note that although size expressions in the elaborated type can contain variables, they are no longer in scope, and are considered more like equivalence classes.

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 EntryParam Source #

A parameter of an entry point.

Constructors

EntryParam 

Fields

Instances

Instances details
Show EntryParam Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryParam -> ShowS #

show :: EntryParam -> String #

showList :: [EntryParam] -> 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
Show Liftedness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Liftedness -> ShowS #

show :: Liftedness -> String #

showList :: [Liftedness] -> ShowS #

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 #

Pretty Liftedness Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Liftedness -> Doc ann #

prettyList :: [Liftedness] -> Doc ann #

data TypeBindBase (f :: Type -> Type) vn Source #

Type Declarations

Constructors

TypeBind 

Fields

Instances

Instances details
Show (TypeBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase Info VName -> ShowS #

show :: TypeBindBase Info VName -> String #

showList :: [TypeBindBase Info VName] -> ShowS #

Show (TypeBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: TypeBindBase (NoInfo :: Type -> Type) Name -> String #

showList :: [TypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeBindBase f vn -> Doc ann #

prettyList :: [TypeBindBase f vn] -> Doc ann #

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) #

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 => 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 #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeParamBase vn -> Doc ann #

prettyList :: [TypeParamBase vn] -> Doc ann #

Located (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeParamBase vn -> Loc #

locOfList :: [TypeParamBase vn] -> Loc #

typeParamName :: TypeParamBase vn -> vn Source #

The name of a type parameter.

data ProgBase (f :: Type -> Type) vn Source #

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

Constructors

Prog 

Fields

Instances

Instances details
Show (ProgBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase Info VName -> ShowS #

show :: ProgBase Info VName -> String #

showList :: [ProgBase Info VName] -> ShowS #

Show (ProgBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ProgBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ProgBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: ProgBase f vn -> Doc ann #

prettyList :: [ProgBase f vn] -> Doc ann #

data DecBase (f :: Type -> Type) vn Source #

A top-level binding.

Constructors

ValDec (ValBindBase f vn) 
TypeDec (TypeBindBase f vn) 
ModTypeDec (ModTypeBindBase f vn) 
ModDec (ModBindBase f vn) 
OpenDec (ModExpBase f vn) SrcLoc 
LocalDec (DecBase f vn) SrcLoc 
ImportDec FilePath (f ImportName) SrcLoc 

Instances

Instances details
Show (DecBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase Info VName -> ShowS #

show :: DecBase Info VName -> String #

showList :: [DecBase Info VName] -> ShowS #

Show (DecBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: DecBase (NoInfo :: Type -> Type) Name -> String #

showList :: [DecBase (NoInfo :: Type -> Type) Name] -> ShowS #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: DecBase f vn -> Doc ann #

prettyList :: [DecBase f vn] -> Doc ann #

Located (DecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: DecBase f vn -> Loc #

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

Miscellaneous

data L a #

A value of type L a is a value of type a with an associated Loc, but this location is ignored when performing comparisons.

Constructors

L Loc a 

Instances

Instances details
Functor L # 
Instance details

Defined in Data.Loc

Methods

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

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

Data a => Data (L a) # 
Instance details

Defined in Data.Loc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> L a -> c (L a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (L a) #

toConstr :: L a -> Constr #

dataTypeOf :: L a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (L a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (L a)) #

gmapT :: (forall b. Data b => b -> b) -> L a -> L a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> L a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> L a -> r #

gmapQ :: (forall d. Data d => d -> u) -> L a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> L a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> L a -> m (L a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> L a -> m (L a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> L a -> m (L a) #

Show x => Show (L x) # 
Instance details

Defined in Data.Loc

Methods

showsPrec :: Int -> L x -> ShowS #

show :: L x -> String #

showList :: [L x] -> ShowS #

Eq x => Eq (L x) # 
Instance details

Defined in Data.Loc

Methods

(==) :: L x -> L x -> Bool #

(/=) :: L x -> L x -> Bool #

Ord x => Ord (L x) # 
Instance details

Defined in Data.Loc

Methods

compare :: L x -> L x -> Ordering #

(<) :: L x -> L x -> Bool #

(<=) :: L x -> L x -> Bool #

(>) :: L x -> L x -> Bool #

(>=) :: L x -> L x -> Bool #

max :: L x -> L x -> L x #

min :: L x -> L x -> L x #

Pretty x => Pretty (L x) # 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Methods

ppr :: L x -> Doc #

pprPrec :: Int -> L x -> Doc #

pprList :: [L x] -> Doc #

Located (L a) # 
Instance details

Defined in Data.Loc

Methods

locOf :: L a -> Loc #

locOfList :: [L a] -> Loc #

Relocatable (L a) # 
Instance details

Defined in Data.Loc

Methods

reloc :: Loc -> L a -> L a #

data NoInfo (a :: k) Source #

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

Constructors

NoInfo 

Instances

Instances details
Annot (NoInfo :: Type -> Type) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

unAnnot :: NoInfo a -> Maybe a

Functor (NoInfo :: Type -> Type) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable (NoInfo :: Type -> Type) 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 :: Type -> Type) 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) #

Show vn => Show (AppExpBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: AppExpBase (NoInfo :: Type -> Type) vn -> String #

showList :: [AppExpBase (NoInfo :: Type -> Type) vn] -> ShowS #

Show vn => Show (CaseBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: CaseBase (NoInfo :: Type -> Type) vn -> String #

showList :: [CaseBase (NoInfo :: Type -> Type) vn] -> ShowS #

Show (DecBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: DecBase (NoInfo :: Type -> Type) Name -> String #

showList :: [DecBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show vn => Show (DimIndexBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: DimIndexBase (NoInfo :: Type -> Type) vn -> String #

showList :: [DimIndexBase (NoInfo :: Type -> Type) vn] -> ShowS #

Show vn => Show (ExpBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: ExpBase (NoInfo :: Type -> Type) vn -> String #

showList :: [ExpBase (NoInfo :: Type -> Type) vn] -> ShowS #

Show vn => Show (FieldBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: FieldBase (NoInfo :: Type -> Type) vn -> String #

showList :: [FieldBase (NoInfo :: Type -> Type) vn] -> ShowS #

Show vn => Show (LoopFormBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: LoopFormBase (NoInfo :: Type -> Type) vn -> String #

showList :: [LoopFormBase (NoInfo :: Type -> Type) vn] -> ShowS #

Show vn => Show (LoopInitBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopInitBase (NoInfo :: Type -> Type) vn -> ShowS #

show :: LoopInitBase (NoInfo :: Type -> Type) vn -> String #

showList :: [LoopInitBase (NoInfo :: Type -> Type) vn] -> ShowS #

Show (ModBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModBindBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModBindBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show (ModExpBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModExpBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModExpBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show (ModParamBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModParamBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModParamBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show (ModTypeBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeBindBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModTypeBindBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModTypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show (ModTypeExpBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeExpBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ModTypeExpBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ModTypeExpBase (NoInfo :: Type -> Type) Name] -> ShowS #

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 #

Show (ProgBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ProgBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ProgBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show (SpecBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: SpecBase (NoInfo :: Type -> Type) Name -> String #

showList :: [SpecBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show (TypeBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: TypeBindBase (NoInfo :: Type -> Type) Name -> String #

showList :: [TypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show (TypeRefBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: TypeRefBase (NoInfo :: Type -> Type) Name -> String #

showList :: [TypeRefBase (NoInfo :: Type -> Type) Name] -> ShowS #

Show vn => Show (UpdateStep (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> UpdateStep (NoInfo :: Type -> Type) vn -> ShowS #

show :: UpdateStep (NoInfo :: Type -> Type) vn -> String #

showList :: [UpdateStep (NoInfo :: Type -> Type) vn] -> ShowS #

Show (ValBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase (NoInfo :: Type -> Type) Name -> ShowS #

show :: ValBindBase (NoInfo :: Type -> Type) Name -> String #

showList :: [ValBindBase (NoInfo :: Type -> Type) Name] -> ShowS #

Eq (AppExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (CaseBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (DimIndexBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (ExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (FieldBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopFormBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopInitBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

(/=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

Eq (NoInfo a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (UpdateStep (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

(/=) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

Ord (AppExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName #

min :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName #

Ord (CaseBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName #

min :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName #

Ord (DimIndexBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName #

min :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName #

Ord (ExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName #

min :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName #

Ord (FieldBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName #

min :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName #

Ord (LoopFormBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Ordering #

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

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

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

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

max :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName #

min :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName #

Ord (LoopInitBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Ordering #

(<) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

(<=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

(>) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

(>=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool #

max :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName #

min :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName #

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 #

Ord (UpdateStep (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Ordering #

(<) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

(<=) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

(>) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

(>=) :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> Bool #

max :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName #

min :: UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName -> UpdateStep (NoInfo :: Type -> Type) VName #

(Show (NoInfo t), Show vn) => Show (PatBase (NoInfo :: Type -> Type) vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase (NoInfo :: Type -> Type) vn t -> ShowS #

show :: PatBase (NoInfo :: Type -> Type) vn t -> String #

showList :: [PatBase (NoInfo :: Type -> Type) vn t] -> ShowS #

Eq (NoInfo t) => Eq (PatBase (NoInfo :: Type -> Type) VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

(/=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

Ord (NoInfo t) => Ord (PatBase (NoInfo :: Type -> Type) VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Ordering #

(<) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

(<=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

(>) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

(>=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool #

max :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t #

min :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t #

(Show (Info t), Show vn) => Show (IdentBase (NoInfo :: Type -> Type) vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase (NoInfo :: Type -> Type) vn t -> ShowS #

show :: IdentBase (NoInfo :: Type -> Type) vn t -> String #

showList :: [IdentBase (NoInfo :: Type -> Type) vn t] -> ShowS #

newtype Info a Source #

Some information. The dual to NoInfo

Constructors

Info 

Fields

Instances

Instances details
Annot Info Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

unAnnot :: Info a -> Maybe a

ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable Exp Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Exp -> Exp Source #

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ParamType -> ParamType Source #

Substitutable StructType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> StructType -> StructType Source #

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) #

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 (SizeExp (ExpBase Info VName)) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #

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 #

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 #

Pretty (Shape Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann #

prettyList :: [Shape Size] -> Doc ann #

Pretty (TypeArg Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArg Size -> Doc ann #

prettyList :: [TypeArg Size] -> Doc ann #

Pretty (CtTy Size) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Constraints

Methods

pretty :: CtTy Size -> Doc ann #

prettyList :: [CtTy Size] -> Doc ann #

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 (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 (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 (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 (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 (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 (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (TypeArgExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (TypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeBase Size Freshness -> m (TypeBase Size Freshness) Source #

ASTMappable (TypeExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable (RetTypeBase Size NoMode) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size NoMode -> RetTypeBase Size NoMode Source #

Substitutable (RetTypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Freshness -> RetTypeBase Size Freshness Source #

Substitutable (TypeBase Size Freshness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Freshness -> TypeBase Size Freshness Source #

Show (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase Info VName -> ShowS #

show :: AppExpBase Info VName -> String #

showList :: [AppExpBase Info VName] -> ShowS #

Show (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase Info VName -> ShowS #

show :: CaseBase Info VName -> String #

showList :: [CaseBase Info VName] -> ShowS #

Show (DecBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase Info VName -> ShowS #

show :: DecBase Info VName -> String #

showList :: [DecBase Info VName] -> ShowS #

Show (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase Info VName -> ShowS #

show :: DimIndexBase Info VName -> String #

showList :: [DimIndexBase Info VName] -> ShowS #

Show (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase Info VName -> ShowS #

show :: ExpBase Info VName -> String #

showList :: [ExpBase Info VName] -> ShowS #

Show (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase Info VName -> ShowS #

show :: FieldBase Info VName -> String #

showList :: [FieldBase Info VName] -> ShowS #

Show (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase Info VName -> ShowS #

show :: LoopFormBase Info VName -> String #

showList :: [LoopFormBase Info VName] -> ShowS #

Show (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopInitBase Info VName -> ShowS #

show :: LoopInitBase Info VName -> String #

showList :: [LoopInitBase Info VName] -> ShowS #

Show (ModBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase Info VName -> ShowS #

show :: ModBindBase Info VName -> String #

showList :: [ModBindBase Info VName] -> ShowS #

Show (ModExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase Info VName -> ShowS #

show :: ModExpBase Info VName -> String #

showList :: [ModExpBase Info VName] -> ShowS #

Show (ModParamBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase Info VName -> ShowS #

show :: ModParamBase Info VName -> String #

showList :: [ModParamBase Info VName] -> ShowS #

Show (ModTypeBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeBindBase Info VName -> ShowS #

show :: ModTypeBindBase Info VName -> String #

showList :: [ModTypeBindBase Info VName] -> ShowS #

Show (ModTypeExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeExpBase Info VName -> ShowS #

show :: ModTypeExpBase Info VName -> String #

showList :: [ModTypeExpBase Info VName] -> ShowS #

Show (ProgBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase Info VName -> ShowS #

show :: ProgBase Info VName -> String #

showList :: [ProgBase Info VName] -> ShowS #

Show (SpecBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase Info VName -> ShowS #

show :: SpecBase Info VName -> String #

showList :: [SpecBase Info VName] -> ShowS #

Show (TypeBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase Info VName -> ShowS #

show :: TypeBindBase Info VName -> String #

showList :: [TypeBindBase Info VName] -> ShowS #

Show (TypeRefBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase Info VName -> ShowS #

show :: TypeRefBase Info VName -> String #

showList :: [TypeRefBase Info VName] -> ShowS #

Show (UpdateStep Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> UpdateStep Info VName -> ShowS #

show :: UpdateStep Info VName -> String #

showList :: [UpdateStep Info VName] -> ShowS #

Show (ValBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase Info VName -> ShowS #

show :: ValBindBase Info VName -> String #

showList :: [ValBindBase Info VName] -> ShowS #

Eq (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

(/=) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

Eq (UpdateStep Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

(/=) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

Ord (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: AppExpBase Info VName -> AppExpBase Info VName -> AppExpBase Info VName #

min :: AppExpBase Info VName -> AppExpBase Info VName -> AppExpBase Info VName #

Ord (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: CaseBase Info VName -> CaseBase Info VName -> CaseBase Info VName #

min :: CaseBase Info VName -> CaseBase Info VName -> CaseBase Info VName #

Ord (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: DimIndexBase Info VName -> DimIndexBase Info VName -> DimIndexBase Info VName #

min :: DimIndexBase Info VName -> DimIndexBase Info VName -> DimIndexBase Info VName #

Ord (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: ExpBase Info VName -> ExpBase Info VName -> ExpBase Info VName #

min :: ExpBase Info VName -> ExpBase Info VName -> ExpBase Info VName #

Ord (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: FieldBase Info VName -> FieldBase Info VName -> FieldBase Info VName #

min :: FieldBase Info VName -> FieldBase Info VName -> FieldBase Info VName #

Ord (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

max :: LoopFormBase Info VName -> LoopFormBase Info VName -> LoopFormBase Info VName #

min :: LoopFormBase Info VName -> LoopFormBase Info VName -> LoopFormBase Info VName #

Ord (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase Info VName -> LoopInitBase Info VName -> Ordering #

(<) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

(<=) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

(>) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

(>=) :: LoopInitBase Info VName -> LoopInitBase Info VName -> Bool #

max :: LoopInitBase Info VName -> LoopInitBase Info VName -> LoopInitBase Info VName #

min :: LoopInitBase Info VName -> LoopInitBase Info VName -> LoopInitBase Info VName #

Ord (UpdateStep Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: UpdateStep Info VName -> UpdateStep Info VName -> Ordering #

(<) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

(<=) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

(>) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

(>=) :: UpdateStep Info VName -> UpdateStep Info VName -> Bool #

max :: UpdateStep Info VName -> UpdateStep Info VName -> UpdateStep Info VName #

min :: UpdateStep Info VName -> UpdateStep Info VName -> UpdateStep Info VName #

Located (LoopInitBase Info vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: LoopInitBase Info vn -> Loc #

locOfList :: [LoopInitBase Info vn] -> Loc #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (Info t) => Show (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase Info VName t -> ShowS #

show :: PatBase Info VName t -> String #

showList :: [PatBase Info VName t] -> ShowS #

Eq (Info t) => Eq (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

(/=) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

Ord (Info t) => Ord (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase Info VName t -> PatBase Info VName t -> Ordering #

(<) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

(<=) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

(>) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

(>=) :: PatBase Info VName t -> PatBase Info VName t -> Bool #

max :: PatBase Info VName t -> PatBase Info VName t -> PatBase Info VName t #

min :: PatBase Info VName t -> PatBase Info VName t -> PatBase Info VName t #

ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (Info t) => Show (IdentBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase Info VName t -> ShowS #

show :: IdentBase Info VName t -> String #

showList :: [IdentBase Info VName t] -> ShowS #

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) #

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 #

Eq v => Eq (QualName v) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: QualName v -> QualName v -> Bool #

(/=) :: QualName v -> QualName v -> Bool #

Ord v => Ord (QualName v) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: QualName v -> QualName v -> Ordering #

(<) :: QualName v -> QualName v -> Bool #

(<=) :: QualName v -> QualName v -> Bool #

(>) :: QualName v -> QualName v -> Bool #

(>=) :: QualName v -> QualName v -> Bool #

max :: QualName v -> QualName v -> QualName v #

min :: QualName v -> QualName v -> QualName v #

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

Defined in Language.Futhark.Pretty

Methods

pretty :: QualName vn -> Doc ann #

prettyList :: [QualName vn] -> Doc ann #

mkApply :: ExpBase Info vn -> [(Maybe VName, ExpBase Info vn)] -> AppRes -> ExpBase Info vn Source #

Construct an Apply node, with type information.

mkApplyUT :: ExpBase (NoInfo :: Type -> Type) vn -> ExpBase (NoInfo :: Type -> Type) vn -> ExpBase (NoInfo :: Type -> Type) vn Source #

Construct an Apply node, without type information.

sizeFromName :: QualName VName -> SrcLoc -> Size Source #

Create a Size from a name.

sizeFromInteger :: Integer -> SrcLoc -> Size Source #

Create a Size from a constant integer.

loopInitExp :: LoopInitBase Info VName -> ExpBase Info VName Source #

Retrieve the expression for the initial values of loop parameters.