Language.Futhark.Prop

This module provides various simple ways to query and manipulate fundamental Futhark terms, such as types and values. The intent is to keep Futhark.Language.Syntax simple, and put whatever embellishments we need here.

Various

data Intrinsic

The nature of something predefined. For functions, these can either be monomorphic or overloaded. An overloaded builtin is a list valid types it can be instantiated with, to the parameter and result type, with Nothing representing the overloaded parameter type.

Constructors

IntrinsicMonoFun [PrimType] PrimType

IntrinsicOverloadedFun [PrimType] [Maybe PrimType] (Maybe PrimType)

IntrinsicPolyFun [TypeParamBase VName] [StructType] (RetTypeBase Size ())

IntrinsicType Liftedness [TypeParamBase VName] StructType

IntrinsicEquality

intrinsics :: Map VName Intrinsic

A map of all built-ins.

isBuiltin :: FilePath -> Bool

Is this file part of the built-in prelude?

isBuiltinLoc :: Located a => a -> Bool

Is the position of this thing builtin as per isBuiltin? Things without location are considered not built-in.

maxIntrinsicTag :: Int

The largest tag used by an intrinsic - this can be used to determine whether a VName refers to an intrinsic or a user-defined name.

namesToPrimTypes :: Map Name PrimType

Names of primitive types to types. This is only valid if no shadowing is going on, but useful for tools.

qualName :: v -> QualName v

Create a name with no qualifiers from a name.

qualify :: v -> QualName v -> QualName v

Add another qualifier (at the head) to a qualified name.

valueType :: Value -> ValueType

The type of the value.

primValueType :: PrimValue -> PrimType

The type of a basic value.

leadingOperator :: Name -> BinOp

Given an operator name, return the operator that determines its syntactical properties.

progImports :: ProgBase f vn -> [(String, SrcLoc)]

The modules imported by a Futhark program.

decImports :: DecBase f vn -> [(String, SrcLoc)]

The modules imported by a single declaration.

progModuleTypes :: ProgBase Info VName -> Set VName

The set of module types used in any exported (non-local) declaration.

identifierReference :: String -> Maybe ((String, String, Maybe FilePath), String)

Extract a leading ((name, namespace, file), remainder) from a documentation comment string. These are formatted as `name`@namespace[@file]. Let us hope that this pattern does not occur anywhere else.

prettyStacktrace :: Int -> [String] -> String

Given a list of strings representing entries in the stack trace and the index of the frame to highlight, produce a final newline-terminated string for showing to the user. This string should also be preceded by a newline. The most recent stack frame must come first in the list.

progHoles :: ProgBase Info VName -> [(Loc, StructType)]

Find instances of typed holes in the program.

defaultEntryPoint :: Name

The name of the default program entry point (main).

Queries on expressions

typeOf :: ExpBase Info VName -> PatType

The type of an Futhark term. The aliasing will refer to itself, if the term is a non-tuple-typed variable.

valBindTypeScheme :: ValBindBase Info VName -> ([TypeParamBase VName], StructType)

The type scheme of a value binding, comprising the type parameters and the actual type.

valBindBound :: ValBindBase Info VName -> [VName]

The names that are brought into scope by this value binding (not including its own parameter names, but including any existential sizes).

funType :: [PatBase Info VName] -> StructRetType -> StructType

The type of a function with the given parameters and return type.

Queries on patterns and params

patIdents :: (Functor f, Ord vn) => PatBase f vn -> Set (IdentBase f vn)

The set of identifiers bound in a pattern.

patNames :: (Functor f, Ord vn) => PatBase f vn -> Set vn

The set of names bound in a pattern.

patternMap :: Functor f => PatBase f VName -> Map VName (IdentBase f VName)

A mapping from names bound in a map to their identifier.

patternType :: PatBase Info VName -> PatType

The type of values bound by the pattern.

patternStructType :: PatBase Info VName -> StructType

The type matched by the pattern, including shape declarations if present.

patternParam :: PatBase Info VName -> (PName, StructType)

When viewed as a function parameter, does this pattern correspond to a named parameter of some type?

patternOrderZero :: PatBase Info vn -> Bool

patternOrderZero pat is True if all of the types in the given pattern have order 0.

Queries on types

uniqueness :: TypeBase shape as -> Uniqueness

Return the uniqueness of a type.

unique :: TypeBase shape as -> Bool

unique t is True if the type of the argument is unique.

aliases :: Monoid as => TypeBase shape as -> as

Return the set of all variables mentioned in the aliasing of a type.

diet :: TypeBase shape as -> Diet

diet t returns a description of how a function parameter of type t might consume its argument.

arrayRank :: TypeBase dim as -> Int

Return the dimensionality of a type. For non-arrays, this is zero. For a one-dimensional array it is one, for a two-dimensional it is two, and so forth.

arrayShape :: TypeBase dim as -> Shape dim

Return the shape of a type - for non-arrays, this is mempty.

orderZero :: TypeBase dim as -> Bool

orderZero t is True if the argument type has order 0, i.e., it is not a function type, does not contain a function type as a subcomponent, and may not be instantiated with a function type.

unfoldFunType :: TypeBase dim as -> ([TypeBase dim ()], TypeBase dim ())

Extract the parameter types and return type from a type. If the type is not an arrow type, the list of parameter types is empty.

foldFunType :: Monoid as => [TypeBase dim pas] -> RetTypeBase dim as -> TypeBase dim as

foldFunType ts ret creates a function type (Arrow) that takes ts as parameters and returns ret.

typeVars :: Monoid as => TypeBase dim as -> Set VName

The type names mentioned in a type.

Operations on types

peelArray :: Int -> TypeBase dim as -> Maybe (TypeBase dim as)

peelArray n t returns the type resulting from peeling the first n array dimensions from t. Returns Nothing if t has less than n dimensions.

stripArray :: Int -> TypeBase dim as -> TypeBase dim as

stripArray n t removes the n outermost layers of the array. Essentially, it is the type of indexing an array of type t with n indexes.

arrayOf :: Monoid as => Uniqueness -> Shape dim -> TypeBase dim as -> TypeBase dim as

arrayOf u s t constructs an array type. The convenience compared to using the Array constructor directly is that t can itself be an array. If t is an n-dimensional array, and s is a list of length n, the resulting type is of an n+m dimensions. The uniqueness of the new array will be u, no matter the uniqueness of t.

toStructural :: TypeBase dim as -> TypeBase () ()

Convert any type to one that has rank information, no alias information, and no embedded names.

toStruct :: TypeBase dim as -> TypeBase dim ()

Remove aliasing information from a type.

fromStruct :: TypeBase dim as -> TypeBase dim Aliasing

Replace no aliasing with an empty alias set.

setAliases :: TypeBase dim asf -> ast -> TypeBase dim ast

t `setAliases` als returns t, but with als substituted for any already present aliasing.

addAliases :: TypeBase dim asf -> (asf -> ast) -> TypeBase dim ast

t `addAliases` f returns t, but with any already present aliasing replaced by f applied to that aliasing.

setUniqueness :: TypeBase dim as -> Uniqueness -> TypeBase dim as

Set the uniqueness attribute of a type. If the type is a record or sum type, the uniqueness of its components will be modified.

noSizes :: TypeBase Size as -> TypeBase () as

Change the shape of a type to be just the rank.

traverseDims :: forall f fdim tdim als. Applicative f => (Set VName -> DimPos -> fdim -> f tdim) -> TypeBase fdim als -> f (TypeBase tdim als)

Perform a traversal (possibly including replacement) on sizes that are parameters in a function type, but also including the type immediately passed to the function. Also passes along a set of the parameter names inside the type that have come in scope at the occurrence of the dimension.

data DimPos

Where does this dimension occur?

Constructors

PosImmediate

Immediately in the argument to traverseDims.

PosParam

In a function parameter type.

PosReturn

In a function return type.

Instances

Eq DimPos

Defined in Language.Futhark.Prop

Methods

(==) :: DimPos -> DimPos -> Bool

(/=) :: DimPos -> DimPos -> Bool

Ord DimPos

Defined in Language.Futhark.Prop

Methods

compare :: DimPos -> DimPos -> Ordering

(<) :: DimPos -> DimPos -> Bool

(<=) :: DimPos -> DimPos -> Bool

(>) :: DimPos -> DimPos -> Bool

(>=) :: DimPos -> DimPos -> Bool

max :: DimPos -> DimPos -> DimPos

min :: DimPos -> DimPos -> DimPos

Show DimPos

Defined in Language.Futhark.Prop

Methods

showsPrec :: Int -> DimPos -> ShowS

show :: DimPos -> String

showList :: [DimPos] -> ShowS

tupleRecord :: [TypeBase dim as] -> ScalarTypeBase dim as

Create a record type corresponding to a tuple with the given element types.

isTupleRecord :: TypeBase dim as -> Maybe [TypeBase dim as]

Does this type corespond to a tuple? If so, return the elements of that tuple.

areTupleFields :: Map Name a -> Maybe [a]

Does this record map correspond to a tuple?

tupleFields :: [a] -> Map Name a

Construct a record map corresponding to a tuple.

tupleFieldNames :: [Name]

Increasing field names for a tuple (starts at 0).

sortFields :: Map Name a -> [(Name, a)]

Sort fields by their name; taking care to sort numeric fields by their numeric value. This ensures that tuples and tuple-like records match.

sortConstrs :: Map Name a -> [(Name, a)]

Sort the constructors of a sum type in some well-defined (but not otherwise significant) manner.

isTypeParam :: TypeParamBase vn -> Bool

Is this a TypeParamType?

isSizeParam :: TypeParamBase vn -> Bool

Is this a TypeParamDim?

combineTypeShapes :: Monoid as => TypeBase Size as -> TypeBase Size as -> TypeBase Size as

Combine the shape information of types as much as possible. The first argument is the orignal type and the second is the type of the transformed expression. This is necessary since the original type may contain additional information (e.g., shape restrictions) from the user given annotation.

matchDims :: forall as m d1 d2. (Monoid as, Monad m) => ([VName] -> d1 -> d2 -> m d1) -> TypeBase d1 as -> TypeBase d2 as -> m (TypeBase d1 as)

Match the dimensions of otherwise assumed-equal types. The combining function is also passed the names bound within the type (from named parameters or return types).

Values of these types are produces by the parser. They use unadorned names and have no type information, apart from that which is syntactically required.

data NoInfo a

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

Constructors

NoInfo

Instances

Functor NoInfo

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable NoInfo

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

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

Annot NoInfo

Defined in Language.Futhark.Pretty

Methods

unAnnot :: NoInfo a -> Maybe a

Eq (NoInfo a)

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (NoInfo a)

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

Show (NoInfo a)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> NoInfo a -> ShowS

show :: NoInfo a -> String

showList :: [NoInfo a] -> ShowS

Eq (PatBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(/=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

Eq (LoopFormBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (CaseBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (FieldBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (ExpBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (AppExpBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (DimIndexBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (PatBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase NoInfo VName -> PatBase NoInfo VName -> Ordering

(<) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(<=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(>) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(>=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

max :: PatBase NoInfo VName -> PatBase NoInfo VName -> PatBase NoInfo VName

min :: PatBase NoInfo VName -> PatBase NoInfo VName -> PatBase NoInfo VName

Ord (LoopFormBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

Ord (CaseBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

Ord (FieldBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

Ord (ExpBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

Ord (AppExpBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

Ord (DimIndexBase NoInfo VName)

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

Show (ProgBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase NoInfo Name -> ShowS

show :: ProgBase NoInfo Name -> String

showList :: [ProgBase NoInfo Name] -> ShowS

Show (DecBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase NoInfo Name -> ShowS

show :: DecBase NoInfo Name -> String

showList :: [DecBase NoInfo Name] -> ShowS

Show (ModParamBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase NoInfo Name -> ShowS

show :: ModParamBase NoInfo Name -> String

showList :: [ModParamBase NoInfo Name] -> ShowS

Show (ModBindBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase NoInfo Name -> ShowS

show :: ModBindBase NoInfo Name -> String

showList :: [ModBindBase NoInfo Name] -> ShowS

Show (ModExpBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase NoInfo Name -> ShowS

show :: ModExpBase NoInfo Name -> String

showList :: [ModExpBase NoInfo Name] -> ShowS

Show (SigBindBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigBindBase NoInfo Name -> ShowS

show :: SigBindBase NoInfo Name -> String

showList :: [SigBindBase NoInfo Name] -> ShowS

Show (SigExpBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigExpBase NoInfo Name -> ShowS

show :: SigExpBase NoInfo Name -> String

showList :: [SigExpBase NoInfo Name] -> ShowS

Show (SpecBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase NoInfo Name -> ShowS

show :: SpecBase NoInfo Name -> String

showList :: [SpecBase NoInfo Name] -> ShowS

Show (TypeBindBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase NoInfo Name -> ShowS

show :: TypeBindBase NoInfo Name -> String

showList :: [TypeBindBase NoInfo Name] -> ShowS

Show (ValBindBase NoInfo Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase NoInfo Name -> ShowS

show :: ValBindBase NoInfo Name -> String

showList :: [ValBindBase NoInfo Name] -> ShowS

Show vn => Show (PatBase NoInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase NoInfo vn -> ShowS

show :: PatBase NoInfo vn -> String

showList :: [PatBase NoInfo vn] -> ShowS

Show vn => Show (LoopFormBase NoInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase NoInfo vn -> ShowS

show :: LoopFormBase NoInfo vn -> String

showList :: [LoopFormBase NoInfo vn] -> ShowS

Show vn => Show (CaseBase NoInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase NoInfo vn -> ShowS

show :: CaseBase NoInfo vn -> String

showList :: [CaseBase NoInfo vn] -> ShowS

Show vn => Show (FieldBase NoInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase NoInfo vn -> ShowS

show :: FieldBase NoInfo vn -> String

showList :: [FieldBase NoInfo vn] -> ShowS

Show vn => Show (ExpBase NoInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase NoInfo vn -> ShowS

show :: ExpBase NoInfo vn -> String

showList :: [ExpBase NoInfo vn] -> ShowS

Show vn => Show (AppExpBase NoInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase NoInfo vn -> ShowS

show :: AppExpBase NoInfo vn -> String

showList :: [AppExpBase NoInfo vn] -> ShowS

Show vn => Show (DimIndexBase NoInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase NoInfo vn -> ShowS

show :: DimIndexBase NoInfo vn -> String

showList :: [DimIndexBase NoInfo vn] -> ShowS

Show vn => Show (IdentBase NoInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase NoInfo vn -> ShowS

show :: IdentBase NoInfo vn -> String

showList :: [IdentBase NoInfo vn] -> ShowS

type UncheckedType = TypeBase (Shape Name) ()

A type with no aliasing information but shape annotations.

type UncheckedTypeExp = TypeExp Name

An expression with no type annotations.

type UncheckedIdent = IdentBase NoInfo Name

An identifier with no type annotations.

type UncheckedDimIndex = DimIndexBase NoInfo Name

An index with no type annotations.

type UncheckedSlice = SliceBase NoInfo Name

A slice with no type annotations.

type UncheckedExp = ExpBase NoInfo Name

An expression with no type annotations.

type UncheckedModExp = ModExpBase NoInfo Name

A module expression with no type annotations.

type UncheckedSigExp = SigExpBase NoInfo Name

A module type expression with no type annotations.

type UncheckedTypeParam = TypeParamBase Name

A type parameter with no type annotations.

type UncheckedPat = PatBase NoInfo Name

A pattern with no type annotations.

type UncheckedValBind = ValBindBase NoInfo Name

A function declaration with no type annotations.

type UncheckedDec = DecBase NoInfo Name

A declaration with no type annotations.

type UncheckedSpec = SpecBase NoInfo Name

A spec with no type annotations.

type UncheckedProg = ProgBase NoInfo Name

A Futhark program with no type annotations.

type UncheckedCase = CaseBase NoInfo Name

A case (of a match expression) with no type annotations.