futhark-0.20.0: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageHaskell2010

Futhark.IR.Seq

Description

A sequential representation.

Synopsis

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

PrettyLore Seq Source # 
Instance details

Defined in Futhark.IR.Seq

ASTLore Seq Source # 
Instance details

Defined in Futhark.IR.Seq

Bindable Seq Source # 
Instance details

Defined in Futhark.IR.Seq

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

CheckableOp Seq Source # 
Instance details

Defined in Futhark.IR.Seq

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

Defined in Futhark.IR.Seq

type RetType Seq Source # 
Instance details

Defined in Futhark.IR.Seq

type BranchType Seq Source # 
Instance details

Defined in Futhark.IR.Seq

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