Safe Haskell	None
Language	Haskell2010

Futhark.IR.Seq

Contents

The Lore definition
Simplification
Module re-exports

Description

A sequential representation.

Synopsis

data Seq
simplifyProg :: Prog Seq -> PassM (Prog Seq)
module Futhark.IR.Prop
module Futhark.IR.Traversals
module Futhark.IR.Pretty
module Futhark.IR.Syntax

The Lore definition

data Seq Source #

The phantom type for the Seq representation.

Instances

Instances details

Decorations Seq Source #
Instance details Defined in Futhark.IR.Seq Associated Types type LetDec Seq Source # type ExpDec Seq Source # type BodyDec Seq Source # type FParamInfo Seq Source # type LParamInfo Seq Source # type RetType Seq Source # type BranchType Seq Source # type Op Seq Source #
PrettyLore Seq Source #
Instance details Defined in Futhark.IR.Seq Methods ppExpLore :: ExpDec Seq -> Exp Seq -> Maybe Doc Source #
ASTLore Seq Source #
Instance details Defined in Futhark.IR.Seq Methods expTypesFromPattern :: (HasScope Seq m, Monad m) => Pattern Seq -> m [BranchType Seq] Source #
Bindable Seq Source #
Instance details Defined in Futhark.IR.Seq Methods mkExpPat :: [Ident] -> [Ident] -> Exp Seq -> Pattern Seq Source # mkExpDec :: Pattern Seq -> Exp Seq -> ExpDec Seq Source # mkBody :: Stms Seq -> Result -> Body Seq Source # mkLetNames :: (MonadFreshNames m, HasScope Seq m) => [VName] -> Exp Seq -> m (Stm Seq) Source #
BinderOps Seq Source #
Instance details Defined in Futhark.IR.Seq Methods mkExpDecB :: (MonadBinder m, Lore m ~ Seq) => Pattern Seq -> Exp Seq -> m (ExpDec Seq) Source # mkBodyB :: (MonadBinder m, Lore m ~ Seq) => Stms Seq -> Result -> m (Body Seq) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Seq) => [VName] -> Exp Seq -> m (Stm Seq) Source #
Checkable Seq Source #
Instance details Defined in Futhark.IR.Seq Methods checkExpLore :: ExpDec Seq -> TypeM Seq () Source # checkBodyLore :: BodyDec Seq -> TypeM Seq () Source # checkFParamLore :: VName -> FParamInfo Seq -> TypeM Seq () Source # checkLParamLore :: VName -> LParamInfo Seq -> TypeM Seq () Source # checkLetBoundLore :: VName -> LetDec Seq -> TypeM Seq () Source # checkRetType :: [RetType Seq] -> TypeM Seq () Source # matchPattern :: Pattern (Aliases Seq) -> Exp (Aliases Seq) -> TypeM Seq () Source # primFParam :: VName -> PrimType -> TypeM Seq (FParam (Aliases Seq)) Source # matchReturnType :: [RetType Seq] -> Result -> TypeM Seq () Source # matchBranchType :: [BranchType Seq] -> Body (Aliases Seq) -> TypeM Seq () Source # matchLoopResult :: [FParam (Aliases Seq)] -> [FParam (Aliases Seq)] -> [SubExp] -> TypeM Seq () Source #
CheckableOp Seq Source #
Instance details Defined in Futhark.IR.Seq Methods checkOp :: OpWithAliases (Op Seq) -> TypeM Seq () Source #
BinderOps (Wise Seq) Source #
Instance details Defined in Futhark.IR.Seq Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise Seq) => Pattern (Wise Seq) -> Exp (Wise Seq) -> m (ExpDec (Wise Seq)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise Seq) => Stms (Wise Seq) -> Result -> m (Body (Wise Seq)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise Seq) => [VName] -> Exp (Wise Seq) -> m (Stm (Wise Seq)) Source #
type LetDec Seq Source #
Instance details Defined in Futhark.IR.Seq type LetDec Seq = Type
type ExpDec Seq Source #
Instance details Defined in Futhark.IR.Seq type ExpDec Seq = ()
type BodyDec Seq Source #
Instance details Defined in Futhark.IR.Seq type BodyDec Seq = ()
type FParamInfo Seq Source #
Instance details Defined in Futhark.IR.Seq type FParamInfo Seq = DeclType
type LParamInfo Seq Source #
Instance details Defined in Futhark.IR.Seq type LParamInfo Seq = Type
type RetType Seq Source #
Instance details Defined in Futhark.IR.Seq type RetType Seq = DeclExtType
type BranchType Seq Source #
Instance details Defined in Futhark.IR.Seq type BranchType Seq = ExtType
type Op Seq Source #
Instance details Defined in Futhark.IR.Seq type Op Seq = ()

Simplification

simplifyProg :: Prog Seq -> PassM (Prog Seq) Source #

Simplify a sequential program.

Module re-exports

module Futhark.IR.Prop

module Futhark.IR.Traversals

module Futhark.IR.Pretty

module Futhark.IR.Syntax