Safe Haskell	None
Language	GHC2021

Futhark.IR.Syntax

Contents

Types
Abstract syntax tree
Definitions
Utils

Description

Definition of the Futhark core language IR

For actually constructing ASTs, see Futhark.Construct.

Types and values

The core language type system is much more restricted than the core language. This is a theme that repeats often. The only types that are supported in the core language are various primitive types PrimType which can be combined in arrays (ignore Mem and Acc for now). Types are represented as TypeBase, which is parameterised by the shape of the array and whether we keep a mode. The Type alias, which is the most commonly used, uses Shape and NoMode.

This means that the records, tuples, and sum types of the source language are represented merely as collections of primitives and arrays. This is implemented in Futhark.Internalise, but the specifics are not important for writing passes on the core language. What is important is that many constructs that conceptually return tuples instead return multiple values. This is not merely syntactic sugar for a tuple: each of those values are eventually bound to distinct variables. The prettyprinter for the IR will typically print such collections of values or types in curly braces.

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

Overall AST design

Internally, the Futhark compiler core intermediate representation resembles a traditional compiler for an imperative language more than it resembles, say, a Haskell or ML compiler. All functions are monomorphic (except for sizes), first-order, and defined at the top level. Notably, the IR does not use continuation-passing style (CPS) at any time. Instead it uses Administrative Normal Form (ANF), where all subexpressions SubExp are either constants PrimValue or variables VName. Variables are represented as a human-readable Name (which doesn't matter to the compiler) as well as a numeric tag, which is what the compiler actually looks at. All variable names when prettyprinted are of the form foo_123. Function names are just Names, though.

The body of a function (FunDef) is a Body, which consists of a sequence of statements (Stms) and a Result. Execution of a Body consists of executing all of the statements, then returning the values of the variables indicated by the result.

A statement (Stm) consists of a Pat alongside an expression Exp. A pattern is a sequence of name/type pairs.

For example, the source language expression let z = x + y - 1 in z would in the core language be represented (in prettyprinted form) as something like:

let {a_12} = x_10 + y_11
let {b_13} = a_12 - 1
in {b_13}

Representations

Most AST types (Stm, Exp, Prog, etc) are parameterised by a type parameter rep. The representation specifies how to fill out various polymorphic parts of the AST. For example, Exp has a constructor Op whose payload depends on rep, via the use of a type family called Op (a kind of type-level function) which is applied to the rep. The SOACS representation (Futhark.IR.SOACS) thus uses a rep called SOACS, and defines that Op SOACS is a SOAC, while the Kernels representation (Futhark.IR.Kernels) defines Op Kernels as some kind of kernel construct. Similarly, various other decorations (e.g. what information we store in a PatElem) are also type families.

The full list of possible decorations is defined as part of the type class RepTypes (although other type families are also used elsewhere in the compiler on an ad hoc basis).

Essentially, the rep type parameter functions as a kind of proxy, saving us from having to parameterise the AST type with all the different forms of decorations that we desire (it would easily become a type with a dozen type parameters).

Some AST elements (such as Pat) do not take a rep type parameter, but instead immediately the single type of decoration that they contain. We only use the more complicated machinery when needed.

Defining a new representation (or rep) thus requires you to define an empty datatype and implement a handful of type class instances for it. See the source of Futhark.IR.Seq for what is likely the simplest example.

Synopsis

module Language.Futhark.Core
prettyString :: Pretty a => a -> String
prettyStringOneLine :: Pretty a => a -> String
prettyText :: Pretty a => a -> Text
prettyTextOneLine :: Pretty a => a -> Text
class Pretty a
module Futhark.IR.Rep
module Futhark.IR.Syntax.Core
data Diet
- = Observe
- | Consume
data NoMode = NoMode
newtype Rank = Rank Int
class Monoid a => ArrayShape a where
- shapeRank :: a -> Int
data Space
- = DefaultSpace
- | Space SpaceId
- | ScalarSpace [SubExp] PrimType
data TypeBase shape o
- = Prim PrimType
- | Acc VName Shape [Type]
- | Array PrimType shape o
- | Mem Space
data Diet
- = Observe
- | Consume
data Ident = Ident {
- identName :: VName
- identType :: Type
}
data SubExp
- = Constant PrimValue
- | Var VName
data PatElem dec = PatElem {
- patElemName :: VName
- patElemDec :: dec
}
newtype Pat dec = Pat {
- patElems :: [PatElem dec]
}
data StmAux dec = StmAux {
- stmAuxCerts :: !Certs
- stmAuxAttrs :: Attrs
- stmAuxLoc :: Provenance
- stmAuxDec :: dec
}
data Stm rep = Let {
- stmPat :: Pat (LetDec rep)
- stmAux :: StmAux (ExpDec rep)
- stmExp :: Exp rep
}
type Stms rep = Seq (Stm rep)
data SubExpRes = SubExpRes {
- resCerts :: Certs
- resSubExp :: SubExp
}
type Result = [SubExpRes]
data GBody rep res = Body {
- bodyDec :: BodyDec rep
- bodyStms :: Stms rep
- bodyResult :: [res]
}
type Body rep = GBody rep SubExpRes
data BasicOp
- = SubExp SubExp
- | Opaque OpaqueOp SubExp
- | ArrayLit [SubExp] Type
- | ArrayVal [PrimValue] PrimType
- | UnOp UnOp SubExp
- | BinOp BinOp SubExp SubExp
- | CmpOp CmpOp SubExp SubExp
- | ConvOp ConvOp SubExp
- | Assert SubExp (ErrorMsg SubExp)
- | Index VName (Slice SubExp)
- | Update Safety VName (Slice SubExp) SubExp
- | FlatIndex VName (FlatSlice SubExp)
- | FlatUpdate VName (FlatSlice SubExp) VName
- | Concat Int (NonEmpty VName) SubExp
- | Manifest VName [Int]
- | Iota SubExp SubExp SubExp IntType
- | Replicate Shape SubExp
- | Scratch PrimType [SubExp]
- | Reshape VName (NewShape SubExp)
- | Rearrange VName [Int]
- | UpdateAcc Safety VName [SubExp] [SubExp]
- | UserParam Name SubExp
data UnOp
- = Neg PrimType
- | Complement IntType
- | Abs IntType
- | FAbs FloatType
- | SSignum IntType
- | USignum IntType
- | FSignum FloatType
data BinOp
- = Add IntType Overflow
- | FAdd FloatType
- | Sub IntType Overflow
- | FSub FloatType
- | Mul IntType Overflow
- | FMul FloatType
- | UDiv IntType Safety
- | UCeilDiv IntType Safety
- | SDiv IntType Safety
- | SCeilDiv IntType Safety
- | FDiv FloatType
- | FMod FloatType
- | UMod IntType Safety
- | SMod IntType Safety
- | SQuot IntType Safety
- | SRem IntType Safety
- | SMin IntType
- | UMin IntType
- | FMin FloatType
- | SMax IntType
- | UMax IntType
- | FMax FloatType
- | Shl IntType
- | LShr IntType
- | AShr IntType
- | And IntType
- | Or IntType
- | Xor IntType
- | Pow IntType
- | FPow FloatType
- | LogAnd
- | LogOr
data CmpOp
- = CmpEq PrimType
- | CmpUlt IntType
- | CmpUle IntType
- | CmpSlt IntType
- | CmpSle IntType
- | FCmpLt FloatType
- | FCmpLe FloatType
- | CmpLlt
- | CmpLle
data ConvOp
- = ZExt IntType IntType
- | SExt IntType IntType
- | FPConv FloatType FloatType
- | FPToUI FloatType IntType
- | FPToSI FloatType IntType
- | UIToFP IntType FloatType
- | SIToFP IntType FloatType
- | FPToBits FloatType
- | BitsToFP FloatType
- | IToB IntType
- | BToI IntType
- | FToB FloatType
- | BToF FloatType
data OpaqueOp
- = OpaqueNil
- | OpaqueTrace Text
data DimSplice d = DimSplice Int Int (ShapeBase d)
data NewShape d = NewShape {
- dimSplices :: [DimSplice d]
- newShape :: ShapeBase d
}
type WithAccInput rep = (Shape, [VName], Maybe (Lambda rep, [SubExp]))
data Exp rep
- = BasicOp BasicOp
- | Apply Name [(SubExp, Diet)] [(RetType rep, RetAls)] Safety
- | Match [SubExp] [Case (Body rep)] (Body rep) (MatchDec (BranchType rep))
- | Loop [(FParam rep, SubExp)] LoopForm (Body rep)
- | WithAcc [WithAccInput rep] (Lambda rep)
- | Op (Op rep)
data Case body = Case {
- casePat :: [Maybe PrimValue]
- caseBody :: body
}
data LoopForm
- = ForLoop VName IntType SubExp
- | WhileLoop VName
data MatchDec rt = MatchDec {
- matchReturns :: [rt]
- matchSort :: MatchSort
}
data MatchSort
- = MatchNormal
- | MatchFallback
- | MatchEquiv
data Safety
- = Unsafe
- | Safe
data GLambda rep t = Lambda {
- lambdaParams :: [LParam rep]
- lambdaReturnType :: [t]
- lambdaBody :: Body rep
}
type Lambda rep = GLambda rep Type
type ExtLambda rep = GLambda rep ExtType
data RetAls = RetAls {
- paramAls :: [Int]
- otherAls :: [Int]
}
data Param dec = Param {
- paramAttrs :: Attrs
- paramName :: VName
- paramDec :: dec
}
type FParam rep = Param (FParamInfo rep)
type LParam rep = Param (LParamInfo rep)
data FunDef rep = FunDef {
- funDefEntryPoint :: Maybe EntryPoint
- funDefAttrs :: Attrs
- funDefName :: Name
- funDefRetType :: [(RetType rep, RetAls)]
- funDefParams :: [FParam rep]
- funDefBody :: Body rep
}
data EntryParam = EntryParam {
- entryParamName :: Name
- entryParamDiet :: Diet
- entryParamType :: EntryPointType
}
data EntryResult = EntryResult {
- entryResultFreshness :: Diet
- entryResultType :: EntryPointType
}
type EntryPoint = (Name, [EntryParam], EntryResult, Maybe Text)
data Prog rep = Prog {
- progTypes :: OpaqueTypes
- progConsts :: Stms rep
- progFuns :: [FunDef rep]
}
oneStm :: Stm rep -> Stms rep
stmsFromList :: [Stm rep] -> Stms rep
stmsToList :: Stms rep -> [Stm rep]
stmsHead :: Stms rep -> Maybe (Stm rep, Stms rep)
stmsLast :: Stms lore -> Maybe (Stms lore, Stm lore)
subExpRes :: SubExp -> SubExpRes
subExpsRes :: [SubExp] -> Result
varRes :: VName -> SubExpRes
varsRes :: [VName] -> Result
subExpResVName :: SubExpRes -> Maybe VName

Documentation

module Language.Futhark.Core

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

Prettyprint a value to a String, appropriately wrapped.

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

Prettyprint a value to a String on a single line.

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

Prettyprint a value to a Text, appropriately wrapped.

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

Prettyprint a value to a Text on a single line.

class Pretty a #

Overloaded conversion to Doc.

Laws:

output should be pretty. :-)

Instances

Instances details

Pretty BodyType Source #
Instance details Defined in Futhark.Analysis.AccessPattern Methods pretty :: BodyType -> Doc ann # prettyList :: [BodyType] -> Doc ann #
Pretty SegOpName Source #
Instance details Defined in Futhark.Analysis.AccessPattern Methods pretty :: SegOpName -> Doc ann # prettyList :: [SegOpName] -> Doc ann #
Pretty VarType Source #
Instance details Defined in Futhark.Analysis.AccessPattern Methods pretty :: VarType -> Doc ann # prettyList :: [VarType] -> Doc ann #
Pretty CallGraph Source #
Instance details Defined in Futhark.Analysis.CallGraph Methods pretty :: CallGraph -> Doc ann # prettyList :: [CallGraph] -> Doc ann #
Pretty ArrayTransform Source #
Instance details Defined in Futhark.Analysis.HORep.SOAC Methods pretty :: ArrayTransform -> Doc ann # prettyList :: [ArrayTransform] -> Doc ann #
Pretty Input Source #
Instance details Defined in Futhark.Analysis.HORep.SOAC Methods pretty :: Input -> Doc ann # prettyList :: [Input] -> Doc ann #
Pretty MemAliases Source #
Instance details Defined in Futhark.Analysis.MemAlias Methods pretty :: MemAliases -> Doc ann # prettyList :: [MemAliases] -> Doc ann #
Pretty PyArg Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericPython.AST Methods pretty :: PyArg -> Doc ann # prettyList :: [PyArg] -> Doc ann #
Pretty PyClassDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericPython.AST Methods pretty :: PyClassDef -> Doc ann # prettyList :: [PyClassDef] -> Doc ann #
Pretty PyExcept Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericPython.AST Methods pretty :: PyExcept -> Doc ann # prettyList :: [PyExcept] -> Doc ann #
Pretty PyExp Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericPython.AST Methods pretty :: PyExp -> Doc ann # prettyList :: [PyExp] -> Doc ann #
Pretty PyFunDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericPython.AST Methods pretty :: PyFunDef -> Doc ann # prettyList :: [PyFunDef] -> Doc ann #
Pretty PyIdx Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericPython.AST Methods pretty :: PyIdx -> Doc ann # prettyList :: [PyIdx] -> Doc ann #
Pretty PyProg Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericPython.AST Methods pretty :: PyProg -> Doc ann # prettyList :: [PyProg] -> Doc ann #
Pretty PyStmt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericPython.AST Methods pretty :: PyStmt -> Doc ann # prettyList :: [PyStmt] -> Doc ann #
Pretty Arg Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: Arg -> Doc ann # prettyList :: [Arg] -> Doc ann #
Pretty ArrayContents Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: ArrayContents -> Doc ann # prettyList :: [ArrayContents] -> Doc ann #
Pretty EntryPoint Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: EntryPoint -> Doc ann # prettyList :: [EntryPoint] -> Doc ann #
Pretty ExternalValue Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: ExternalValue -> Doc ann # prettyList :: [ExternalValue] -> Doc ann #
Pretty Param Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: Param -> Doc ann # prettyList :: [Param] -> Doc ann #
Pretty ValueDesc Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: ValueDesc -> Doc ann # prettyList :: [ValueDesc] -> Doc ann #
Pretty HostOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods pretty :: HostOp -> Doc ann # prettyList :: [HostOp] -> Doc ann #
Pretty Kernel Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods pretty :: Kernel -> Doc ann # prettyList :: [Kernel] -> Doc ann #
Pretty KernelConst Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods pretty :: KernelConst -> Doc ann # prettyList :: [KernelConst] -> Doc ann #
Pretty KernelOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods pretty :: KernelOp -> Doc ann # prettyList :: [KernelOp] -> Doc ann #
Pretty KernelUse Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods pretty :: KernelUse -> Doc ann # prettyList :: [KernelUse] -> Doc ann #
Pretty Multicore Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods pretty :: Multicore -> Doc ann # prettyList :: [Multicore] -> Doc ann #
Pretty ParallelTask Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods pretty :: ParallelTask -> Doc ann # prettyList :: [ParallelTask] -> Doc ann #
Pretty SchedulerInfo Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods pretty :: SchedulerInfo -> Doc ann # prettyList :: [SchedulerInfo] -> Doc ann #
Pretty Scheduling Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods pretty :: Scheduling -> Doc ann # prettyList :: [Scheduling] -> Doc ann #
Pretty OpenCL Source #
Instance details Defined in Futhark.CodeGen.ImpCode.OpenCL Methods pretty :: OpenCL -> Doc ann # prettyList :: [OpenCL] -> Doc ann #
Pretty Sequential Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Sequential Methods pretty :: Sequential -> Doc ann # prettyList :: [Sequential] -> Doc ann #
Pretty DeviceInfo Source #
Instance details Defined in Futhark.CodeGen.OpenCL.Heuristics Methods pretty :: DeviceInfo -> Doc ann # prettyList :: [DeviceInfo] -> Doc ann #
Pretty AliasDec Source #
Instance details Defined in Futhark.IR.Aliases Methods pretty :: AliasDec -> Doc ann # prettyList :: [AliasDec] -> Doc ann #
Pretty KernelGrid Source #
Instance details Defined in Futhark.IR.GPU.Op Methods pretty :: KernelGrid -> Doc ann # prettyList :: [KernelGrid] -> Doc ann #
Pretty SegLevel Source #
Instance details Defined in Futhark.IR.GPU.Op Methods pretty :: SegLevel -> Doc ann # prettyList :: [SegLevel] -> Doc ann #
Pretty SegVirt Source #
Instance details Defined in Futhark.IR.GPU.Op Methods pretty :: SegVirt -> Doc ann # prettyList :: [SegVirt] -> Doc ann #
Pretty SizeOp Source #
Instance details Defined in Futhark.IR.GPU.Op Methods pretty :: SizeOp -> Doc ann # prettyList :: [SizeOp] -> Doc ann #
Pretty SizeClass Source #
Instance details Defined in Futhark.IR.GPU.Sizes Methods pretty :: SizeClass -> Doc ann # prettyList :: [SizeClass] -> Doc ann #
Pretty MemBind Source #
Instance details Defined in Futhark.IR.Mem Methods pretty :: MemBind -> Doc ann # prettyList :: [MemBind] -> Doc ann #
Pretty MemReturn Source #
Instance details Defined in Futhark.IR.Mem Methods pretty :: MemReturn -> Doc ann # prettyList :: [MemReturn] -> Doc ann #
Pretty Names Source #
Instance details Defined in Futhark.IR.Prop.Names Methods pretty :: Names -> Doc ann # prettyList :: [Names] -> Doc ann #
Pretty KernelResult Source #
Instance details Defined in Futhark.IR.SegOp Methods pretty :: KernelResult -> Doc ann # prettyList :: [KernelResult] -> Doc ann #
Pretty SegSpace Source #
Instance details Defined in Futhark.IR.SegOp Methods pretty :: SegSpace -> Doc ann # prettyList :: [SegSpace] -> Doc ann #
Pretty BasicOp Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: BasicOp -> Doc ann # prettyList :: [BasicOp] -> Doc ann #
Pretty EntryParam Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: EntryParam -> Doc ann # prettyList :: [EntryParam] -> Doc ann #
Pretty EntryResult Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: EntryResult -> Doc ann # prettyList :: [EntryResult] -> Doc ann #
Pretty SubExpRes Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: SubExpRes -> Doc ann # prettyList :: [SubExpRes] -> Doc ann #
Pretty Attr Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Attr -> Doc ann # prettyList :: [Attr] -> Doc ann #
Pretty Attrs Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Attrs -> Doc ann # prettyList :: [Attrs] -> Doc ann #
Pretty Certs Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Certs -> Doc ann # prettyList :: [Certs] -> Doc ann #
Pretty Commutativity Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Commutativity -> Doc ann # prettyList :: [Commutativity] -> Doc ann #
Pretty Diet Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Diet -> Doc ann # prettyList :: [Diet] -> Doc ann #
Pretty EntryPointType Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: EntryPointType -> Doc ann # prettyList :: [EntryPointType] -> Doc ann #
Pretty Ident Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Ident -> Doc ann # prettyList :: [Ident] -> Doc ann #
Pretty OpaqueType Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: OpaqueType -> Doc ann # prettyList :: [OpaqueType] -> Doc ann #
Pretty OpaqueTypes Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: OpaqueTypes -> Doc ann # prettyList :: [OpaqueTypes] -> Doc ann #
Pretty Provenance Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Provenance -> Doc ann # prettyList :: [Provenance] -> Doc ann #
Pretty Rank Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Rank -> Doc ann # prettyList :: [Rank] -> Doc ann #
Pretty Signedness Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Signedness -> Doc ann # prettyList :: [Signedness] -> Doc ann #
Pretty Space Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Space -> Doc ann # prettyList :: [Space] -> Doc ann #
Pretty SubExp Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: SubExp -> Doc ann # prettyList :: [SubExp] -> Doc ann #
Pretty ValueType Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: ValueType -> Doc ann # prettyList :: [ValueType] -> Doc ann #
Pretty MonoStats Source #
Instance details Defined in Futhark.Internalise.Monomorphise Methods pretty :: MonoStats -> Doc ann # prettyList :: [MonoStats] -> Doc ann #
Pretty AccessSummary Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs Methods pretty :: AccessSummary -> Doc ann # prettyList :: [AccessSummary] -> Doc ann #
Pretty ArrayMemBound Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs Methods pretty :: ArrayMemBound -> Doc ann # prettyList :: [ArrayMemBound] -> Doc ann #
Pretty Coalesced Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs Methods pretty :: Coalesced -> Doc ann # prettyList :: [Coalesced] -> Doc ann #
Pretty CoalescedKind Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs Methods pretty :: CoalescedKind -> Doc ann # prettyList :: [CoalescedKind] -> Doc ann #
Pretty CoalsEntry Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs Methods pretty :: CoalsEntry -> Doc ann # prettyList :: [CoalsEntry] -> Doc ann #
Pretty CoalsTab Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs Methods pretty :: CoalsTab -> Doc ann # prettyList :: [CoalsTab] -> Doc ann #
Pretty MemRefs Source #
Instance details Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs Methods pretty :: MemRefs -> Doc ann # prettyList :: [MemRefs] -> Doc ann #
Pretty VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Rep Methods pretty :: VarWisdom -> Doc ann # prettyList :: [VarWisdom] -> Doc ann #
Pretty DistInput Source #
Instance details Defined in Futhark.Pass.Flatten.Distribute Methods pretty :: DistInput -> Doc ann # prettyList :: [DistInput] -> Doc ann #
Pretty DistResult Source #
Instance details Defined in Futhark.Pass.Flatten.Distribute Methods pretty :: DistResult -> Doc ann # prettyList :: [DistResult] -> Doc ann #
Pretty DistStm Source #
Instance details Defined in Futhark.Pass.Flatten.Distribute Methods pretty :: DistStm -> Doc ann # prettyList :: [DistStm] -> Doc ann #
Pretty DistType Source #
Instance details Defined in Futhark.Pass.Flatten.Distribute Methods pretty :: DistType -> Doc ann # prettyList :: [DistType] -> Doc ann #
Pretty Distributed Source #
Instance details Defined in Futhark.Pass.Flatten.Distribute Methods pretty :: Distributed -> Doc ann # prettyList :: [Distributed] -> Doc ann #
Pretty ResTag Source #
Instance details Defined in Futhark.Pass.Flatten.Distribute Methods pretty :: ResTag -> Doc ann # prettyList :: [ResTag] -> Doc ann #
Pretty FutharkState Source #
Instance details Defined in Futhark.Pipeline Methods pretty :: FutharkState -> Doc ann # prettyList :: [FutharkState] -> Doc ann #
Pretty Name Source #
Instance details Defined in Language.Futhark.Core Methods pretty :: Name -> Doc ann # prettyList :: [Name] -> Doc ann #
Pretty NoMode Source #
Instance details Defined in Language.Futhark.Core Methods pretty :: NoMode -> Doc ann # prettyList :: [NoMode] -> Doc ann #
Pretty VName Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: VName -> Doc ann # prettyList :: [VName] -> Doc ann #
Pretty BinOp Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: BinOp -> Doc ann # prettyList :: [BinOp] -> Doc ann #
Pretty CmpOp Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: CmpOp -> Doc ann # prettyList :: [CmpOp] -> Doc ann #
Pretty ConvOp Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: ConvOp -> Doc ann # prettyList :: [ConvOp] -> Doc ann #
Pretty FloatType Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: FloatType -> Doc ann # prettyList :: [FloatType] -> Doc ann #
Pretty FloatValue Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: FloatValue -> Doc ann # prettyList :: [FloatValue] -> Doc ann #
Pretty IntType Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: IntType -> Doc ann # prettyList :: [IntType] -> Doc ann #
Pretty IntValue Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: IntValue -> Doc ann # prettyList :: [IntValue] -> Doc ann #
Pretty PrimType Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: PrimType -> Doc ann # prettyList :: [PrimType] -> Doc ann #
Pretty PrimValue Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: PrimValue -> Doc ann # prettyList :: [PrimValue] -> Doc ann #
Pretty UnOp Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: UnOp -> Doc ann # prettyList :: [UnOp] -> Doc ann #
Pretty Env Source #
Instance details Defined in Language.Futhark.Semantic Methods pretty :: Env -> Doc ann # prettyList :: [Env] -> Doc ann #
Pretty MTy Source #
Instance details Defined in Language.Futhark.Semantic Methods pretty :: MTy -> Doc ann # prettyList :: [MTy] -> Doc ann #
Pretty Mod Source #
Instance details Defined in Language.Futhark.Semantic Methods pretty :: Mod -> Doc ann # prettyList :: [Mod] -> Doc ann #
Pretty Namespace Source #
Instance details Defined in Language.Futhark.Semantic Methods pretty :: Namespace -> Doc ann # prettyList :: [Namespace] -> Doc ann #
Pretty BinOp Source #
Instance details Defined in Language.Futhark.Syntax Methods pretty :: BinOp -> Doc ann # prettyList :: [BinOp] -> Doc ann #
Pretty Diet Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: Diet -> Doc ann # prettyList :: [Diet] -> Doc ann #
Pretty Freshness Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: Freshness -> Doc ann # prettyList :: [Freshness] -> Doc ann #
Pretty Liftedness Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: Liftedness -> Doc ann # prettyList :: [Liftedness] -> Doc ann #
Pretty PatLit Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: PatLit -> Doc ann # prettyList :: [PatLit] -> Doc ann #
Pretty PrimType Source #
Instance details Defined in Language.Futhark.Syntax Methods pretty :: PrimType -> Doc ann # prettyList :: [PrimType] -> Doc ann #
Pretty PrimValue Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: PrimValue -> Doc ann # prettyList :: [PrimValue] -> Doc ann #
Pretty Alias Source #
Instance details Defined in Language.Futhark.TypeChecker.Consumption Methods pretty :: Alias -> Doc ann # prettyList :: [Alias] -> Doc ann #
Pretty BreadCrumbs Source #
Instance details Defined in Language.Futhark.TypeChecker.Error Methods pretty :: BreadCrumbs -> Doc ann # prettyList :: [BreadCrumbs] -> Doc ann #
Pretty Notes Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods pretty :: Notes -> Doc ann # prettyList :: [Notes] -> Doc ann #
Pretty Checking Source #
Instance details Defined in Language.Futhark.TypeChecker.Terms.Monad Methods pretty :: Checking -> Doc ann # prettyList :: [Checking] -> Doc ann #
Pretty Usage Source #
Instance details Defined in Language.Futhark.TypeChecker.Unify Methods pretty :: Usage -> Doc ann # prettyList :: [Usage] -> Doc ann #
Pretty Value Source #
Instance details Defined in Futhark.Test.Values Methods pretty :: Value -> Doc ann # prettyList :: [Value] -> Doc ann #
Pretty ValueType Source #
Instance details Defined in Futhark.Test.Values Methods pretty :: ValueType -> Doc ann # prettyList :: [ValueType] -> Doc ann #
Pretty Void #	Finding a good example for printing something that does not exist is hard, so here is an example of printing a list full of nothing. `>>>` `pretty ([] :: [Void])`[]
Instance details Defined in Prettyprinter.Internal Methods pretty :: Void -> Doc ann # prettyList :: [Void] -> Doc ann #
Pretty Int16 #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int16 -> Doc ann # prettyList :: [Int16] -> Doc ann #
Pretty Int32 #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int32 -> Doc ann # prettyList :: [Int32] -> Doc ann #
Pretty Int64 #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int64 -> Doc ann # prettyList :: [Int64] -> Doc ann #
Pretty Int8 #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int8 -> Doc ann # prettyList :: [Int8] -> Doc ann #
Pretty Word16 #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word16 -> Doc ann # prettyList :: [Word16] -> Doc ann #
Pretty Word32 #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word32 -> Doc ann # prettyList :: [Word32] -> Doc ann #
Pretty Word64 #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word64 -> Doc ann # prettyList :: [Word64] -> Doc ann #
Pretty Word8 #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word8 -> Doc ann # prettyList :: [Word8] -> Doc ann #
Pretty Half Source #
Instance details Defined in Futhark.Util.Pretty Methods pretty :: Half -> Doc ann # prettyList :: [Half] -> Doc ann #
Pretty LspServerLog #
Instance details Defined in Language.LSP.Server.Control Methods pretty :: LspServerLog -> Doc ann # prettyList :: [LspServerLog] -> Doc ann #
Pretty WebsocketLog #
Instance details Defined in Language.LSP.Server.Control Methods pretty :: WebsocketLog -> Doc ann # prettyList :: [WebsocketLog] -> Doc ann #
Pretty LspCoreLog #
Instance details Defined in Language.LSP.Server.Core Methods pretty :: LspCoreLog -> Doc ann # prettyList :: [LspCoreLog] -> Doc ann #
Pretty VfsLog #
Instance details Defined in Language.LSP.VFS Methods pretty :: VfsLog -> Doc ann # prettyList :: [VfsLog] -> Doc ann #
Pretty SomeMethod #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods pretty :: SomeMethod -> Doc ann # prettyList :: [SomeMethod] -> Doc ann #
Pretty AnnotatedTextEdit #
Instance details Defined in Language.LSP.Protocol.Internal.Types.AnnotatedTextEdit Methods pretty :: AnnotatedTextEdit -> Doc ann # prettyList :: [AnnotatedTextEdit] -> Doc ann #
Pretty ApplyWorkspaceEditParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ApplyWorkspaceEditParams Methods pretty :: ApplyWorkspaceEditParams -> Doc ann # prettyList :: [ApplyWorkspaceEditParams] -> Doc ann #
Pretty ApplyWorkspaceEditResult #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ApplyWorkspaceEditResult Methods pretty :: ApplyWorkspaceEditResult -> Doc ann # prettyList :: [ApplyWorkspaceEditResult] -> Doc ann #
Pretty BaseSymbolInformation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.BaseSymbolInformation Methods pretty :: BaseSymbolInformation -> Doc ann # prettyList :: [BaseSymbolInformation] -> Doc ann #
Pretty CallHierarchyClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyClientCapabilities Methods pretty :: CallHierarchyClientCapabilities -> Doc ann # prettyList :: [CallHierarchyClientCapabilities] -> Doc ann #
Pretty CallHierarchyIncomingCall #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyIncomingCall Methods pretty :: CallHierarchyIncomingCall -> Doc ann # prettyList :: [CallHierarchyIncomingCall] -> Doc ann #
Pretty CallHierarchyIncomingCallsParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyIncomingCallsParams Methods pretty :: CallHierarchyIncomingCallsParams -> Doc ann # prettyList :: [CallHierarchyIncomingCallsParams] -> Doc ann #
Pretty CallHierarchyItem #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyItem Methods pretty :: CallHierarchyItem -> Doc ann # prettyList :: [CallHierarchyItem] -> Doc ann #
Pretty CallHierarchyOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyOptions Methods pretty :: CallHierarchyOptions -> Doc ann # prettyList :: [CallHierarchyOptions] -> Doc ann #
Pretty CallHierarchyOutgoingCall #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyOutgoingCall Methods pretty :: CallHierarchyOutgoingCall -> Doc ann # prettyList :: [CallHierarchyOutgoingCall] -> Doc ann #
Pretty CallHierarchyOutgoingCallsParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyOutgoingCallsParams Methods pretty :: CallHierarchyOutgoingCallsParams -> Doc ann # prettyList :: [CallHierarchyOutgoingCallsParams] -> Doc ann #
Pretty CallHierarchyPrepareParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyPrepareParams Methods pretty :: CallHierarchyPrepareParams -> Doc ann # prettyList :: [CallHierarchyPrepareParams] -> Doc ann #
Pretty CallHierarchyRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CallHierarchyRegistrationOptions Methods pretty :: CallHierarchyRegistrationOptions -> Doc ann # prettyList :: [CallHierarchyRegistrationOptions] -> Doc ann #
Pretty CancelParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CancelParams Methods pretty :: CancelParams -> Doc ann # prettyList :: [CancelParams] -> Doc ann #
Pretty ChangeAnnotation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ChangeAnnotation Methods pretty :: ChangeAnnotation -> Doc ann # prettyList :: [ChangeAnnotation] -> Doc ann #
Pretty ChangeAnnotationIdentifier #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ChangeAnnotationIdentifier Methods pretty :: ChangeAnnotationIdentifier -> Doc ann # prettyList :: [ChangeAnnotationIdentifier] -> Doc ann #
Pretty ChangeAnnotationsSupportOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ChangeAnnotationsSupportOptions Methods pretty :: ChangeAnnotationsSupportOptions -> Doc ann # prettyList :: [ChangeAnnotationsSupportOptions] -> Doc ann #
Pretty ClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCapabilities Methods pretty :: ClientCapabilities -> Doc ann # prettyList :: [ClientCapabilities] -> Doc ann #
Pretty ClientCodeActionKindOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCodeActionKindOptions Methods pretty :: ClientCodeActionKindOptions -> Doc ann # prettyList :: [ClientCodeActionKindOptions] -> Doc ann #
Pretty ClientCodeActionLiteralOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCodeActionLiteralOptions Methods pretty :: ClientCodeActionLiteralOptions -> Doc ann # prettyList :: [ClientCodeActionLiteralOptions] -> Doc ann #
Pretty ClientCodeActionResolveOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCodeActionResolveOptions Methods pretty :: ClientCodeActionResolveOptions -> Doc ann # prettyList :: [ClientCodeActionResolveOptions] -> Doc ann #
Pretty ClientCompletionItemInsertTextModeOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCompletionItemInsertTextModeOptions Methods pretty :: ClientCompletionItemInsertTextModeOptions -> Doc ann # prettyList :: [ClientCompletionItemInsertTextModeOptions] -> Doc ann #
Pretty ClientCompletionItemOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCompletionItemOptions Methods pretty :: ClientCompletionItemOptions -> Doc ann # prettyList :: [ClientCompletionItemOptions] -> Doc ann #
Pretty ClientCompletionItemOptionsKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCompletionItemOptionsKind Methods pretty :: ClientCompletionItemOptionsKind -> Doc ann # prettyList :: [ClientCompletionItemOptionsKind] -> Doc ann #
Pretty ClientCompletionItemResolveOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCompletionItemResolveOptions Methods pretty :: ClientCompletionItemResolveOptions -> Doc ann # prettyList :: [ClientCompletionItemResolveOptions] -> Doc ann #
Pretty ClientDiagnosticsTagOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientDiagnosticsTagOptions Methods pretty :: ClientDiagnosticsTagOptions -> Doc ann # prettyList :: [ClientDiagnosticsTagOptions] -> Doc ann #
Pretty ClientFoldingRangeKindOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientFoldingRangeKindOptions Methods pretty :: ClientFoldingRangeKindOptions -> Doc ann # prettyList :: [ClientFoldingRangeKindOptions] -> Doc ann #
Pretty ClientFoldingRangeOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientFoldingRangeOptions Methods pretty :: ClientFoldingRangeOptions -> Doc ann # prettyList :: [ClientFoldingRangeOptions] -> Doc ann #
Pretty ClientInfo #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientInfo Methods pretty :: ClientInfo -> Doc ann # prettyList :: [ClientInfo] -> Doc ann #
Pretty ClientInlayHintResolveOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientInlayHintResolveOptions Methods pretty :: ClientInlayHintResolveOptions -> Doc ann # prettyList :: [ClientInlayHintResolveOptions] -> Doc ann #
Pretty ClientSemanticTokensRequestFullDelta #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientSemanticTokensRequestFullDelta Methods pretty :: ClientSemanticTokensRequestFullDelta -> Doc ann # prettyList :: [ClientSemanticTokensRequestFullDelta] -> Doc ann #
Pretty ClientSemanticTokensRequestOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientSemanticTokensRequestOptions Methods pretty :: ClientSemanticTokensRequestOptions -> Doc ann # prettyList :: [ClientSemanticTokensRequestOptions] -> Doc ann #
Pretty ClientShowMessageActionItemOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientShowMessageActionItemOptions Methods pretty :: ClientShowMessageActionItemOptions -> Doc ann # prettyList :: [ClientShowMessageActionItemOptions] -> Doc ann #
Pretty ClientSignatureInformationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientSignatureInformationOptions Methods pretty :: ClientSignatureInformationOptions -> Doc ann # prettyList :: [ClientSignatureInformationOptions] -> Doc ann #
Pretty ClientSignatureParameterInformationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientSignatureParameterInformationOptions Methods pretty :: ClientSignatureParameterInformationOptions -> Doc ann # prettyList :: [ClientSignatureParameterInformationOptions] -> Doc ann #
Pretty ClientSymbolKindOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientSymbolKindOptions Methods pretty :: ClientSymbolKindOptions -> Doc ann # prettyList :: [ClientSymbolKindOptions] -> Doc ann #
Pretty ClientSymbolResolveOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientSymbolResolveOptions Methods pretty :: ClientSymbolResolveOptions -> Doc ann # prettyList :: [ClientSymbolResolveOptions] -> Doc ann #
Pretty ClientSymbolTagOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientSymbolTagOptions Methods pretty :: ClientSymbolTagOptions -> Doc ann # prettyList :: [ClientSymbolTagOptions] -> Doc ann #
Pretty CodeAction #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeAction Methods pretty :: CodeAction -> Doc ann # prettyList :: [CodeAction] -> Doc ann #
Pretty CodeActionClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeActionClientCapabilities Methods pretty :: CodeActionClientCapabilities -> Doc ann # prettyList :: [CodeActionClientCapabilities] -> Doc ann #
Pretty CodeActionContext #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeActionContext Methods pretty :: CodeActionContext -> Doc ann # prettyList :: [CodeActionContext] -> Doc ann #
Pretty CodeActionDisabled #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeActionDisabled Methods pretty :: CodeActionDisabled -> Doc ann # prettyList :: [CodeActionDisabled] -> Doc ann #
Pretty CodeActionKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeActionKind Methods pretty :: CodeActionKind -> Doc ann # prettyList :: [CodeActionKind] -> Doc ann #
Pretty CodeActionOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeActionOptions Methods pretty :: CodeActionOptions -> Doc ann # prettyList :: [CodeActionOptions] -> Doc ann #
Pretty CodeActionParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeActionParams Methods pretty :: CodeActionParams -> Doc ann # prettyList :: [CodeActionParams] -> Doc ann #
Pretty CodeActionRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeActionRegistrationOptions Methods pretty :: CodeActionRegistrationOptions -> Doc ann # prettyList :: [CodeActionRegistrationOptions] -> Doc ann #
Pretty CodeActionTriggerKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeActionTriggerKind Methods pretty :: CodeActionTriggerKind -> Doc ann # prettyList :: [CodeActionTriggerKind] -> Doc ann #
Pretty CodeDescription #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeDescription Methods pretty :: CodeDescription -> Doc ann # prettyList :: [CodeDescription] -> Doc ann #
Pretty CodeLens #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeLens Methods pretty :: CodeLens -> Doc ann # prettyList :: [CodeLens] -> Doc ann #
Pretty CodeLensClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeLensClientCapabilities Methods pretty :: CodeLensClientCapabilities -> Doc ann # prettyList :: [CodeLensClientCapabilities] -> Doc ann #
Pretty CodeLensOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeLensOptions Methods pretty :: CodeLensOptions -> Doc ann # prettyList :: [CodeLensOptions] -> Doc ann #
Pretty CodeLensParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeLensParams Methods pretty :: CodeLensParams -> Doc ann # prettyList :: [CodeLensParams] -> Doc ann #
Pretty CodeLensRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeLensRegistrationOptions Methods pretty :: CodeLensRegistrationOptions -> Doc ann # prettyList :: [CodeLensRegistrationOptions] -> Doc ann #
Pretty CodeLensWorkspaceClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CodeLensWorkspaceClientCapabilities Methods pretty :: CodeLensWorkspaceClientCapabilities -> Doc ann # prettyList :: [CodeLensWorkspaceClientCapabilities] -> Doc ann #
Pretty Color #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Color Methods pretty :: Color -> Doc ann # prettyList :: [Color] -> Doc ann #
Pretty ColorInformation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ColorInformation Methods pretty :: ColorInformation -> Doc ann # prettyList :: [ColorInformation] -> Doc ann #
Pretty ColorPresentation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ColorPresentation Methods pretty :: ColorPresentation -> Doc ann # prettyList :: [ColorPresentation] -> Doc ann #
Pretty ColorPresentationParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ColorPresentationParams Methods pretty :: ColorPresentationParams -> Doc ann # prettyList :: [ColorPresentationParams] -> Doc ann #
Pretty Command #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Command Methods pretty :: Command -> Doc ann # prettyList :: [Command] -> Doc ann #
Pretty CompletionClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionClientCapabilities Methods pretty :: CompletionClientCapabilities -> Doc ann # prettyList :: [CompletionClientCapabilities] -> Doc ann #
Pretty CompletionContext #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionContext Methods pretty :: CompletionContext -> Doc ann # prettyList :: [CompletionContext] -> Doc ann #
Pretty CompletionItem #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionItem Methods pretty :: CompletionItem -> Doc ann # prettyList :: [CompletionItem] -> Doc ann #
Pretty CompletionItemDefaults #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionItemDefaults Methods pretty :: CompletionItemDefaults -> Doc ann # prettyList :: [CompletionItemDefaults] -> Doc ann #
Pretty CompletionItemKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionItemKind Methods pretty :: CompletionItemKind -> Doc ann # prettyList :: [CompletionItemKind] -> Doc ann #
Pretty CompletionItemLabelDetails #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionItemLabelDetails Methods pretty :: CompletionItemLabelDetails -> Doc ann # prettyList :: [CompletionItemLabelDetails] -> Doc ann #
Pretty CompletionItemTag #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionItemTag Methods pretty :: CompletionItemTag -> Doc ann # prettyList :: [CompletionItemTag] -> Doc ann #
Pretty CompletionItemTagOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionItemTagOptions Methods pretty :: CompletionItemTagOptions -> Doc ann # prettyList :: [CompletionItemTagOptions] -> Doc ann #
Pretty CompletionList #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionList Methods pretty :: CompletionList -> Doc ann # prettyList :: [CompletionList] -> Doc ann #
Pretty CompletionListCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionListCapabilities Methods pretty :: CompletionListCapabilities -> Doc ann # prettyList :: [CompletionListCapabilities] -> Doc ann #
Pretty CompletionOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionOptions Methods pretty :: CompletionOptions -> Doc ann # prettyList :: [CompletionOptions] -> Doc ann #
Pretty CompletionParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionParams Methods pretty :: CompletionParams -> Doc ann # prettyList :: [CompletionParams] -> Doc ann #
Pretty CompletionRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionRegistrationOptions Methods pretty :: CompletionRegistrationOptions -> Doc ann # prettyList :: [CompletionRegistrationOptions] -> Doc ann #
Pretty CompletionTriggerKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionTriggerKind Methods pretty :: CompletionTriggerKind -> Doc ann # prettyList :: [CompletionTriggerKind] -> Doc ann #
Pretty ConfigurationItem #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ConfigurationItem Methods pretty :: ConfigurationItem -> Doc ann # prettyList :: [ConfigurationItem] -> Doc ann #
Pretty ConfigurationParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ConfigurationParams Methods pretty :: ConfigurationParams -> Doc ann # prettyList :: [ConfigurationParams] -> Doc ann #
Pretty CreateFile #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CreateFile Methods pretty :: CreateFile -> Doc ann # prettyList :: [CreateFile] -> Doc ann #
Pretty CreateFileOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CreateFileOptions Methods pretty :: CreateFileOptions -> Doc ann # prettyList :: [CreateFileOptions] -> Doc ann #
Pretty CreateFilesParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.CreateFilesParams Methods pretty :: CreateFilesParams -> Doc ann # prettyList :: [CreateFilesParams] -> Doc ann #
Pretty Declaration #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Declaration Methods pretty :: Declaration -> Doc ann # prettyList :: [Declaration] -> Doc ann #
Pretty DeclarationClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DeclarationClientCapabilities Methods pretty :: DeclarationClientCapabilities -> Doc ann # prettyList :: [DeclarationClientCapabilities] -> Doc ann #
Pretty DeclarationLink #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DeclarationLink Methods pretty :: DeclarationLink -> Doc ann # prettyList :: [DeclarationLink] -> Doc ann #
Pretty DeclarationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DeclarationOptions Methods pretty :: DeclarationOptions -> Doc ann # prettyList :: [DeclarationOptions] -> Doc ann #
Pretty DeclarationParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DeclarationParams Methods pretty :: DeclarationParams -> Doc ann # prettyList :: [DeclarationParams] -> Doc ann #
Pretty DeclarationRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DeclarationRegistrationOptions Methods pretty :: DeclarationRegistrationOptions -> Doc ann # prettyList :: [DeclarationRegistrationOptions] -> Doc ann #
Pretty Definition #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Definition Methods pretty :: Definition -> Doc ann # prettyList :: [Definition] -> Doc ann #
Pretty DefinitionClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DefinitionClientCapabilities Methods pretty :: DefinitionClientCapabilities -> Doc ann # prettyList :: [DefinitionClientCapabilities] -> Doc ann #
Pretty DefinitionLink #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DefinitionLink Methods pretty :: DefinitionLink -> Doc ann # prettyList :: [DefinitionLink] -> Doc ann #
Pretty DefinitionOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DefinitionOptions Methods pretty :: DefinitionOptions -> Doc ann # prettyList :: [DefinitionOptions] -> Doc ann #
Pretty DefinitionParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DefinitionParams Methods pretty :: DefinitionParams -> Doc ann # prettyList :: [DefinitionParams] -> Doc ann #
Pretty DefinitionRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DefinitionRegistrationOptions Methods pretty :: DefinitionRegistrationOptions -> Doc ann # prettyList :: [DefinitionRegistrationOptions] -> Doc ann #
Pretty DeleteFile #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DeleteFile Methods pretty :: DeleteFile -> Doc ann # prettyList :: [DeleteFile] -> Doc ann #
Pretty DeleteFileOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DeleteFileOptions Methods pretty :: DeleteFileOptions -> Doc ann # prettyList :: [DeleteFileOptions] -> Doc ann #
Pretty DeleteFilesParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DeleteFilesParams Methods pretty :: DeleteFilesParams -> Doc ann # prettyList :: [DeleteFilesParams] -> Doc ann #
Pretty Diagnostic #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Diagnostic Methods pretty :: Diagnostic -> Doc ann # prettyList :: [Diagnostic] -> Doc ann #
Pretty DiagnosticClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DiagnosticClientCapabilities Methods pretty :: DiagnosticClientCapabilities -> Doc ann # prettyList :: [DiagnosticClientCapabilities] -> Doc ann #
Pretty DiagnosticOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DiagnosticOptions Methods pretty :: DiagnosticOptions -> Doc ann # prettyList :: [DiagnosticOptions] -> Doc ann #
Pretty DiagnosticRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DiagnosticRegistrationOptions Methods pretty :: DiagnosticRegistrationOptions -> Doc ann # prettyList :: [DiagnosticRegistrationOptions] -> Doc ann #
Pretty DiagnosticRelatedInformation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DiagnosticRelatedInformation Methods pretty :: DiagnosticRelatedInformation -> Doc ann # prettyList :: [DiagnosticRelatedInformation] -> Doc ann #
Pretty DiagnosticServerCancellationData #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DiagnosticServerCancellationData Methods pretty :: DiagnosticServerCancellationData -> Doc ann # prettyList :: [DiagnosticServerCancellationData] -> Doc ann #
Pretty DiagnosticSeverity #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DiagnosticSeverity Methods pretty :: DiagnosticSeverity -> Doc ann # prettyList :: [DiagnosticSeverity] -> Doc ann #
Pretty DiagnosticTag #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DiagnosticTag Methods pretty :: DiagnosticTag -> Doc ann # prettyList :: [DiagnosticTag] -> Doc ann #
Pretty DiagnosticWorkspaceClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DiagnosticWorkspaceClientCapabilities Methods pretty :: DiagnosticWorkspaceClientCapabilities -> Doc ann # prettyList :: [DiagnosticWorkspaceClientCapabilities] -> Doc ann #
Pretty DidChangeConfigurationClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeConfigurationClientCapabilities Methods pretty :: DidChangeConfigurationClientCapabilities -> Doc ann # prettyList :: [DidChangeConfigurationClientCapabilities] -> Doc ann #
Pretty DidChangeConfigurationParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeConfigurationParams Methods pretty :: DidChangeConfigurationParams -> Doc ann # prettyList :: [DidChangeConfigurationParams] -> Doc ann #
Pretty DidChangeConfigurationRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeConfigurationRegistrationOptions Methods pretty :: DidChangeConfigurationRegistrationOptions -> Doc ann # prettyList :: [DidChangeConfigurationRegistrationOptions] -> Doc ann #
Pretty DidChangeNotebookDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeNotebookDocumentParams Methods pretty :: DidChangeNotebookDocumentParams -> Doc ann # prettyList :: [DidChangeNotebookDocumentParams] -> Doc ann #
Pretty DidChangeTextDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeTextDocumentParams Methods pretty :: DidChangeTextDocumentParams -> Doc ann # prettyList :: [DidChangeTextDocumentParams] -> Doc ann #
Pretty DidChangeWatchedFilesClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeWatchedFilesClientCapabilities Methods pretty :: DidChangeWatchedFilesClientCapabilities -> Doc ann # prettyList :: [DidChangeWatchedFilesClientCapabilities] -> Doc ann #
Pretty DidChangeWatchedFilesParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeWatchedFilesParams Methods pretty :: DidChangeWatchedFilesParams -> Doc ann # prettyList :: [DidChangeWatchedFilesParams] -> Doc ann #
Pretty DidChangeWatchedFilesRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeWatchedFilesRegistrationOptions Methods pretty :: DidChangeWatchedFilesRegistrationOptions -> Doc ann # prettyList :: [DidChangeWatchedFilesRegistrationOptions] -> Doc ann #
Pretty DidChangeWorkspaceFoldersParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidChangeWorkspaceFoldersParams Methods pretty :: DidChangeWorkspaceFoldersParams -> Doc ann # prettyList :: [DidChangeWorkspaceFoldersParams] -> Doc ann #
Pretty DidCloseNotebookDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidCloseNotebookDocumentParams Methods pretty :: DidCloseNotebookDocumentParams -> Doc ann # prettyList :: [DidCloseNotebookDocumentParams] -> Doc ann #
Pretty DidCloseTextDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidCloseTextDocumentParams Methods pretty :: DidCloseTextDocumentParams -> Doc ann # prettyList :: [DidCloseTextDocumentParams] -> Doc ann #
Pretty DidOpenNotebookDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidOpenNotebookDocumentParams Methods pretty :: DidOpenNotebookDocumentParams -> Doc ann # prettyList :: [DidOpenNotebookDocumentParams] -> Doc ann #
Pretty DidOpenTextDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidOpenTextDocumentParams Methods pretty :: DidOpenTextDocumentParams -> Doc ann # prettyList :: [DidOpenTextDocumentParams] -> Doc ann #
Pretty DidSaveNotebookDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidSaveNotebookDocumentParams Methods pretty :: DidSaveNotebookDocumentParams -> Doc ann # prettyList :: [DidSaveNotebookDocumentParams] -> Doc ann #
Pretty DidSaveTextDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DidSaveTextDocumentParams Methods pretty :: DidSaveTextDocumentParams -> Doc ann # prettyList :: [DidSaveTextDocumentParams] -> Doc ann #
Pretty DocumentColorClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentColorClientCapabilities Methods pretty :: DocumentColorClientCapabilities -> Doc ann # prettyList :: [DocumentColorClientCapabilities] -> Doc ann #
Pretty DocumentColorOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentColorOptions Methods pretty :: DocumentColorOptions -> Doc ann # prettyList :: [DocumentColorOptions] -> Doc ann #
Pretty DocumentColorParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentColorParams Methods pretty :: DocumentColorParams -> Doc ann # prettyList :: [DocumentColorParams] -> Doc ann #
Pretty DocumentColorRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentColorRegistrationOptions Methods pretty :: DocumentColorRegistrationOptions -> Doc ann # prettyList :: [DocumentColorRegistrationOptions] -> Doc ann #
Pretty DocumentDiagnosticParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentDiagnosticParams Methods pretty :: DocumentDiagnosticParams -> Doc ann # prettyList :: [DocumentDiagnosticParams] -> Doc ann #
Pretty DocumentDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentDiagnosticReport Methods pretty :: DocumentDiagnosticReport -> Doc ann # prettyList :: [DocumentDiagnosticReport] -> Doc ann #
Pretty DocumentDiagnosticReportKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentDiagnosticReportKind Methods pretty :: DocumentDiagnosticReportKind -> Doc ann # prettyList :: [DocumentDiagnosticReportKind] -> Doc ann #
Pretty DocumentDiagnosticReportPartialResult #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentDiagnosticReportPartialResult Methods pretty :: DocumentDiagnosticReportPartialResult -> Doc ann # prettyList :: [DocumentDiagnosticReportPartialResult] -> Doc ann #
Pretty DocumentFilter #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentFilter Methods pretty :: DocumentFilter -> Doc ann # prettyList :: [DocumentFilter] -> Doc ann #
Pretty DocumentFormattingClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentFormattingClientCapabilities Methods pretty :: DocumentFormattingClientCapabilities -> Doc ann # prettyList :: [DocumentFormattingClientCapabilities] -> Doc ann #
Pretty DocumentFormattingOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentFormattingOptions Methods pretty :: DocumentFormattingOptions -> Doc ann # prettyList :: [DocumentFormattingOptions] -> Doc ann #
Pretty DocumentFormattingParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentFormattingParams Methods pretty :: DocumentFormattingParams -> Doc ann # prettyList :: [DocumentFormattingParams] -> Doc ann #
Pretty DocumentFormattingRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentFormattingRegistrationOptions Methods pretty :: DocumentFormattingRegistrationOptions -> Doc ann # prettyList :: [DocumentFormattingRegistrationOptions] -> Doc ann #
Pretty DocumentHighlight #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentHighlight Methods pretty :: DocumentHighlight -> Doc ann # prettyList :: [DocumentHighlight] -> Doc ann #
Pretty DocumentHighlightClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentHighlightClientCapabilities Methods pretty :: DocumentHighlightClientCapabilities -> Doc ann # prettyList :: [DocumentHighlightClientCapabilities] -> Doc ann #
Pretty DocumentHighlightKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentHighlightKind Methods pretty :: DocumentHighlightKind -> Doc ann # prettyList :: [DocumentHighlightKind] -> Doc ann #
Pretty DocumentHighlightOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentHighlightOptions Methods pretty :: DocumentHighlightOptions -> Doc ann # prettyList :: [DocumentHighlightOptions] -> Doc ann #
Pretty DocumentHighlightParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentHighlightParams Methods pretty :: DocumentHighlightParams -> Doc ann # prettyList :: [DocumentHighlightParams] -> Doc ann #
Pretty DocumentHighlightRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentHighlightRegistrationOptions Methods pretty :: DocumentHighlightRegistrationOptions -> Doc ann # prettyList :: [DocumentHighlightRegistrationOptions] -> Doc ann #
Pretty DocumentLink #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentLink Methods pretty :: DocumentLink -> Doc ann # prettyList :: [DocumentLink] -> Doc ann #
Pretty DocumentLinkClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentLinkClientCapabilities Methods pretty :: DocumentLinkClientCapabilities -> Doc ann # prettyList :: [DocumentLinkClientCapabilities] -> Doc ann #
Pretty DocumentLinkOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentLinkOptions Methods pretty :: DocumentLinkOptions -> Doc ann # prettyList :: [DocumentLinkOptions] -> Doc ann #
Pretty DocumentLinkParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentLinkParams Methods pretty :: DocumentLinkParams -> Doc ann # prettyList :: [DocumentLinkParams] -> Doc ann #
Pretty DocumentLinkRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentLinkRegistrationOptions Methods pretty :: DocumentLinkRegistrationOptions -> Doc ann # prettyList :: [DocumentLinkRegistrationOptions] -> Doc ann #
Pretty DocumentOnTypeFormattingClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentOnTypeFormattingClientCapabilities Methods pretty :: DocumentOnTypeFormattingClientCapabilities -> Doc ann # prettyList :: [DocumentOnTypeFormattingClientCapabilities] -> Doc ann #
Pretty DocumentOnTypeFormattingOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentOnTypeFormattingOptions Methods pretty :: DocumentOnTypeFormattingOptions -> Doc ann # prettyList :: [DocumentOnTypeFormattingOptions] -> Doc ann #
Pretty DocumentOnTypeFormattingParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentOnTypeFormattingParams Methods pretty :: DocumentOnTypeFormattingParams -> Doc ann # prettyList :: [DocumentOnTypeFormattingParams] -> Doc ann #
Pretty DocumentOnTypeFormattingRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentOnTypeFormattingRegistrationOptions Methods pretty :: DocumentOnTypeFormattingRegistrationOptions -> Doc ann # prettyList :: [DocumentOnTypeFormattingRegistrationOptions] -> Doc ann #
Pretty DocumentRangeFormattingClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentRangeFormattingClientCapabilities Methods pretty :: DocumentRangeFormattingClientCapabilities -> Doc ann # prettyList :: [DocumentRangeFormattingClientCapabilities] -> Doc ann #
Pretty DocumentRangeFormattingOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentRangeFormattingOptions Methods pretty :: DocumentRangeFormattingOptions -> Doc ann # prettyList :: [DocumentRangeFormattingOptions] -> Doc ann #
Pretty DocumentRangeFormattingParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentRangeFormattingParams Methods pretty :: DocumentRangeFormattingParams -> Doc ann # prettyList :: [DocumentRangeFormattingParams] -> Doc ann #
Pretty DocumentRangeFormattingRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentRangeFormattingRegistrationOptions Methods pretty :: DocumentRangeFormattingRegistrationOptions -> Doc ann # prettyList :: [DocumentRangeFormattingRegistrationOptions] -> Doc ann #
Pretty DocumentSelector #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentSelector Methods pretty :: DocumentSelector -> Doc ann # prettyList :: [DocumentSelector] -> Doc ann #
Pretty DocumentSymbol #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentSymbol Methods pretty :: DocumentSymbol -> Doc ann # prettyList :: [DocumentSymbol] -> Doc ann #
Pretty DocumentSymbolClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentSymbolClientCapabilities Methods pretty :: DocumentSymbolClientCapabilities -> Doc ann # prettyList :: [DocumentSymbolClientCapabilities] -> Doc ann #
Pretty DocumentSymbolOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentSymbolOptions Methods pretty :: DocumentSymbolOptions -> Doc ann # prettyList :: [DocumentSymbolOptions] -> Doc ann #
Pretty DocumentSymbolParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentSymbolParams Methods pretty :: DocumentSymbolParams -> Doc ann # prettyList :: [DocumentSymbolParams] -> Doc ann #
Pretty DocumentSymbolRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.DocumentSymbolRegistrationOptions Methods pretty :: DocumentSymbolRegistrationOptions -> Doc ann # prettyList :: [DocumentSymbolRegistrationOptions] -> Doc ann #
Pretty EditRangeWithInsertReplace #
Instance details Defined in Language.LSP.Protocol.Internal.Types.EditRangeWithInsertReplace Methods pretty :: EditRangeWithInsertReplace -> Doc ann # prettyList :: [EditRangeWithInsertReplace] -> Doc ann #
Pretty ErrorCodes #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ErrorCodes Methods pretty :: ErrorCodes -> Doc ann # prettyList :: [ErrorCodes] -> Doc ann #
Pretty ExecuteCommandClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ExecuteCommandClientCapabilities Methods pretty :: ExecuteCommandClientCapabilities -> Doc ann # prettyList :: [ExecuteCommandClientCapabilities] -> Doc ann #
Pretty ExecuteCommandOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ExecuteCommandOptions Methods pretty :: ExecuteCommandOptions -> Doc ann # prettyList :: [ExecuteCommandOptions] -> Doc ann #
Pretty ExecuteCommandParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ExecuteCommandParams Methods pretty :: ExecuteCommandParams -> Doc ann # prettyList :: [ExecuteCommandParams] -> Doc ann #
Pretty ExecuteCommandRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ExecuteCommandRegistrationOptions Methods pretty :: ExecuteCommandRegistrationOptions -> Doc ann # prettyList :: [ExecuteCommandRegistrationOptions] -> Doc ann #
Pretty ExecutionSummary #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ExecutionSummary Methods pretty :: ExecutionSummary -> Doc ann # prettyList :: [ExecutionSummary] -> Doc ann #
Pretty FailureHandlingKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FailureHandlingKind Methods pretty :: FailureHandlingKind -> Doc ann # prettyList :: [FailureHandlingKind] -> Doc ann #
Pretty FileChangeType #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileChangeType Methods pretty :: FileChangeType -> Doc ann # prettyList :: [FileChangeType] -> Doc ann #
Pretty FileCreate #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileCreate Methods pretty :: FileCreate -> Doc ann # prettyList :: [FileCreate] -> Doc ann #
Pretty FileDelete #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileDelete Methods pretty :: FileDelete -> Doc ann # prettyList :: [FileDelete] -> Doc ann #
Pretty FileEvent #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileEvent Methods pretty :: FileEvent -> Doc ann # prettyList :: [FileEvent] -> Doc ann #
Pretty FileOperationClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileOperationClientCapabilities Methods pretty :: FileOperationClientCapabilities -> Doc ann # prettyList :: [FileOperationClientCapabilities] -> Doc ann #
Pretty FileOperationFilter #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileOperationFilter Methods pretty :: FileOperationFilter -> Doc ann # prettyList :: [FileOperationFilter] -> Doc ann #
Pretty FileOperationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileOperationOptions Methods pretty :: FileOperationOptions -> Doc ann # prettyList :: [FileOperationOptions] -> Doc ann #
Pretty FileOperationPattern #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileOperationPattern Methods pretty :: FileOperationPattern -> Doc ann # prettyList :: [FileOperationPattern] -> Doc ann #
Pretty FileOperationPatternKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileOperationPatternKind Methods pretty :: FileOperationPatternKind -> Doc ann # prettyList :: [FileOperationPatternKind] -> Doc ann #
Pretty FileOperationPatternOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileOperationPatternOptions Methods pretty :: FileOperationPatternOptions -> Doc ann # prettyList :: [FileOperationPatternOptions] -> Doc ann #
Pretty FileOperationRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileOperationRegistrationOptions Methods pretty :: FileOperationRegistrationOptions -> Doc ann # prettyList :: [FileOperationRegistrationOptions] -> Doc ann #
Pretty FileRename #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileRename Methods pretty :: FileRename -> Doc ann # prettyList :: [FileRename] -> Doc ann #
Pretty FileSystemWatcher #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FileSystemWatcher Methods pretty :: FileSystemWatcher -> Doc ann # prettyList :: [FileSystemWatcher] -> Doc ann #
Pretty FoldingRange #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FoldingRange Methods pretty :: FoldingRange -> Doc ann # prettyList :: [FoldingRange] -> Doc ann #
Pretty FoldingRangeClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FoldingRangeClientCapabilities Methods pretty :: FoldingRangeClientCapabilities -> Doc ann # prettyList :: [FoldingRangeClientCapabilities] -> Doc ann #
Pretty FoldingRangeKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FoldingRangeKind Methods pretty :: FoldingRangeKind -> Doc ann # prettyList :: [FoldingRangeKind] -> Doc ann #
Pretty FoldingRangeOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FoldingRangeOptions Methods pretty :: FoldingRangeOptions -> Doc ann # prettyList :: [FoldingRangeOptions] -> Doc ann #
Pretty FoldingRangeParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FoldingRangeParams Methods pretty :: FoldingRangeParams -> Doc ann # prettyList :: [FoldingRangeParams] -> Doc ann #
Pretty FoldingRangeRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FoldingRangeRegistrationOptions Methods pretty :: FoldingRangeRegistrationOptions -> Doc ann # prettyList :: [FoldingRangeRegistrationOptions] -> Doc ann #
Pretty FormattingOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FormattingOptions Methods pretty :: FormattingOptions -> Doc ann # prettyList :: [FormattingOptions] -> Doc ann #
Pretty FullDocumentDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.FullDocumentDiagnosticReport Methods pretty :: FullDocumentDiagnosticReport -> Doc ann # prettyList :: [FullDocumentDiagnosticReport] -> Doc ann #
Pretty GeneralClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.GeneralClientCapabilities Methods pretty :: GeneralClientCapabilities -> Doc ann # prettyList :: [GeneralClientCapabilities] -> Doc ann #
Pretty GlobPattern #
Instance details Defined in Language.LSP.Protocol.Internal.Types.GlobPattern Methods pretty :: GlobPattern -> Doc ann # prettyList :: [GlobPattern] -> Doc ann #
Pretty Hover #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Hover Methods pretty :: Hover -> Doc ann # prettyList :: [Hover] -> Doc ann #
Pretty HoverClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.HoverClientCapabilities Methods pretty :: HoverClientCapabilities -> Doc ann # prettyList :: [HoverClientCapabilities] -> Doc ann #
Pretty HoverOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.HoverOptions Methods pretty :: HoverOptions -> Doc ann # prettyList :: [HoverOptions] -> Doc ann #
Pretty HoverParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.HoverParams Methods pretty :: HoverParams -> Doc ann # prettyList :: [HoverParams] -> Doc ann #
Pretty HoverRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.HoverRegistrationOptions Methods pretty :: HoverRegistrationOptions -> Doc ann # prettyList :: [HoverRegistrationOptions] -> Doc ann #
Pretty ImplementationClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ImplementationClientCapabilities Methods pretty :: ImplementationClientCapabilities -> Doc ann # prettyList :: [ImplementationClientCapabilities] -> Doc ann #
Pretty ImplementationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ImplementationOptions Methods pretty :: ImplementationOptions -> Doc ann # prettyList :: [ImplementationOptions] -> Doc ann #
Pretty ImplementationParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ImplementationParams Methods pretty :: ImplementationParams -> Doc ann # prettyList :: [ImplementationParams] -> Doc ann #
Pretty ImplementationRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ImplementationRegistrationOptions Methods pretty :: ImplementationRegistrationOptions -> Doc ann # prettyList :: [ImplementationRegistrationOptions] -> Doc ann #
Pretty InitializeError #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InitializeError Methods pretty :: InitializeError -> Doc ann # prettyList :: [InitializeError] -> Doc ann #
Pretty InitializeParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InitializeParams Methods pretty :: InitializeParams -> Doc ann # prettyList :: [InitializeParams] -> Doc ann #
Pretty InitializeResult #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InitializeResult Methods pretty :: InitializeResult -> Doc ann # prettyList :: [InitializeResult] -> Doc ann #
Pretty InitializedParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InitializedParams Methods pretty :: InitializedParams -> Doc ann # prettyList :: [InitializedParams] -> Doc ann #
Pretty InlayHint #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlayHint Methods pretty :: InlayHint -> Doc ann # prettyList :: [InlayHint] -> Doc ann #
Pretty InlayHintClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlayHintClientCapabilities Methods pretty :: InlayHintClientCapabilities -> Doc ann # prettyList :: [InlayHintClientCapabilities] -> Doc ann #
Pretty InlayHintKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlayHintKind Methods pretty :: InlayHintKind -> Doc ann # prettyList :: [InlayHintKind] -> Doc ann #
Pretty InlayHintLabelPart #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlayHintLabelPart Methods pretty :: InlayHintLabelPart -> Doc ann # prettyList :: [InlayHintLabelPart] -> Doc ann #
Pretty InlayHintOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlayHintOptions Methods pretty :: InlayHintOptions -> Doc ann # prettyList :: [InlayHintOptions] -> Doc ann #
Pretty InlayHintParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlayHintParams Methods pretty :: InlayHintParams -> Doc ann # prettyList :: [InlayHintParams] -> Doc ann #
Pretty InlayHintRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlayHintRegistrationOptions Methods pretty :: InlayHintRegistrationOptions -> Doc ann # prettyList :: [InlayHintRegistrationOptions] -> Doc ann #
Pretty InlayHintWorkspaceClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlayHintWorkspaceClientCapabilities Methods pretty :: InlayHintWorkspaceClientCapabilities -> Doc ann # prettyList :: [InlayHintWorkspaceClientCapabilities] -> Doc ann #
Pretty InlineValue #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValue Methods pretty :: InlineValue -> Doc ann # prettyList :: [InlineValue] -> Doc ann #
Pretty InlineValueClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueClientCapabilities Methods pretty :: InlineValueClientCapabilities -> Doc ann # prettyList :: [InlineValueClientCapabilities] -> Doc ann #
Pretty InlineValueContext #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueContext Methods pretty :: InlineValueContext -> Doc ann # prettyList :: [InlineValueContext] -> Doc ann #
Pretty InlineValueEvaluatableExpression #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueEvaluatableExpression Methods pretty :: InlineValueEvaluatableExpression -> Doc ann # prettyList :: [InlineValueEvaluatableExpression] -> Doc ann #
Pretty InlineValueOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueOptions Methods pretty :: InlineValueOptions -> Doc ann # prettyList :: [InlineValueOptions] -> Doc ann #
Pretty InlineValueParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueParams Methods pretty :: InlineValueParams -> Doc ann # prettyList :: [InlineValueParams] -> Doc ann #
Pretty InlineValueRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueRegistrationOptions Methods pretty :: InlineValueRegistrationOptions -> Doc ann # prettyList :: [InlineValueRegistrationOptions] -> Doc ann #
Pretty InlineValueText #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueText Methods pretty :: InlineValueText -> Doc ann # prettyList :: [InlineValueText] -> Doc ann #
Pretty InlineValueVariableLookup #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueVariableLookup Methods pretty :: InlineValueVariableLookup -> Doc ann # prettyList :: [InlineValueVariableLookup] -> Doc ann #
Pretty InlineValueWorkspaceClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InlineValueWorkspaceClientCapabilities Methods pretty :: InlineValueWorkspaceClientCapabilities -> Doc ann # prettyList :: [InlineValueWorkspaceClientCapabilities] -> Doc ann #
Pretty InsertReplaceEdit #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InsertReplaceEdit Methods pretty :: InsertReplaceEdit -> Doc ann # prettyList :: [InsertReplaceEdit] -> Doc ann #
Pretty InsertTextFormat #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InsertTextFormat Methods pretty :: InsertTextFormat -> Doc ann # prettyList :: [InsertTextFormat] -> Doc ann #
Pretty InsertTextMode #
Instance details Defined in Language.LSP.Protocol.Internal.Types.InsertTextMode Methods pretty :: InsertTextMode -> Doc ann # prettyList :: [InsertTextMode] -> Doc ann #
Pretty LSPErrorCodes #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LSPErrorCodes Methods pretty :: LSPErrorCodes -> Doc ann # prettyList :: [LSPErrorCodes] -> Doc ann #
Pretty LanguageKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LanguageKind Methods pretty :: LanguageKind -> Doc ann # prettyList :: [LanguageKind] -> Doc ann #
Pretty LinkedEditingRangeClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LinkedEditingRangeClientCapabilities Methods pretty :: LinkedEditingRangeClientCapabilities -> Doc ann # prettyList :: [LinkedEditingRangeClientCapabilities] -> Doc ann #
Pretty LinkedEditingRangeOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LinkedEditingRangeOptions Methods pretty :: LinkedEditingRangeOptions -> Doc ann # prettyList :: [LinkedEditingRangeOptions] -> Doc ann #
Pretty LinkedEditingRangeParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LinkedEditingRangeParams Methods pretty :: LinkedEditingRangeParams -> Doc ann # prettyList :: [LinkedEditingRangeParams] -> Doc ann #
Pretty LinkedEditingRangeRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LinkedEditingRangeRegistrationOptions Methods pretty :: LinkedEditingRangeRegistrationOptions -> Doc ann # prettyList :: [LinkedEditingRangeRegistrationOptions] -> Doc ann #
Pretty LinkedEditingRanges #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LinkedEditingRanges Methods pretty :: LinkedEditingRanges -> Doc ann # prettyList :: [LinkedEditingRanges] -> Doc ann #
Pretty Location #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Location Methods pretty :: Location -> Doc ann # prettyList :: [Location] -> Doc ann #
Pretty LocationLink #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LocationLink Methods pretty :: LocationLink -> Doc ann # prettyList :: [LocationLink] -> Doc ann #
Pretty LocationUriOnly #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LocationUriOnly Methods pretty :: LocationUriOnly -> Doc ann # prettyList :: [LocationUriOnly] -> Doc ann #
Pretty LogMessageParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LogMessageParams Methods pretty :: LogMessageParams -> Doc ann # prettyList :: [LogMessageParams] -> Doc ann #
Pretty LogTraceParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.LogTraceParams Methods pretty :: LogTraceParams -> Doc ann # prettyList :: [LogTraceParams] -> Doc ann #
Pretty MarkdownClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MarkdownClientCapabilities Methods pretty :: MarkdownClientCapabilities -> Doc ann # prettyList :: [MarkdownClientCapabilities] -> Doc ann #
Pretty MarkedString #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MarkedString Methods pretty :: MarkedString -> Doc ann # prettyList :: [MarkedString] -> Doc ann #
Pretty MarkedStringWithLanguage #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MarkedStringWithLanguage Methods pretty :: MarkedStringWithLanguage -> Doc ann # prettyList :: [MarkedStringWithLanguage] -> Doc ann #
Pretty MarkupContent #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MarkupContent Methods pretty :: MarkupContent -> Doc ann # prettyList :: [MarkupContent] -> Doc ann #
Pretty MarkupKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MarkupKind Methods pretty :: MarkupKind -> Doc ann # prettyList :: [MarkupKind] -> Doc ann #
Pretty MessageActionItem #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MessageActionItem Methods pretty :: MessageActionItem -> Doc ann # prettyList :: [MessageActionItem] -> Doc ann #
Pretty MessageType #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MessageType Methods pretty :: MessageType -> Doc ann # prettyList :: [MessageType] -> Doc ann #
Pretty Moniker #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Moniker Methods pretty :: Moniker -> Doc ann # prettyList :: [Moniker] -> Doc ann #
Pretty MonikerClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MonikerClientCapabilities Methods pretty :: MonikerClientCapabilities -> Doc ann # prettyList :: [MonikerClientCapabilities] -> Doc ann #
Pretty MonikerKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MonikerKind Methods pretty :: MonikerKind -> Doc ann # prettyList :: [MonikerKind] -> Doc ann #
Pretty MonikerOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MonikerOptions Methods pretty :: MonikerOptions -> Doc ann # prettyList :: [MonikerOptions] -> Doc ann #
Pretty MonikerParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MonikerParams Methods pretty :: MonikerParams -> Doc ann # prettyList :: [MonikerParams] -> Doc ann #
Pretty MonikerRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.MonikerRegistrationOptions Methods pretty :: MonikerRegistrationOptions -> Doc ann # prettyList :: [MonikerRegistrationOptions] -> Doc ann #
Pretty NotebookCell #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookCell Methods pretty :: NotebookCell -> Doc ann # prettyList :: [NotebookCell] -> Doc ann #
Pretty NotebookCellArrayChange #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookCellArrayChange Methods pretty :: NotebookCellArrayChange -> Doc ann # prettyList :: [NotebookCellArrayChange] -> Doc ann #
Pretty NotebookCellKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookCellKind Methods pretty :: NotebookCellKind -> Doc ann # prettyList :: [NotebookCellKind] -> Doc ann #
Pretty NotebookCellLanguage #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookCellLanguage Methods pretty :: NotebookCellLanguage -> Doc ann # prettyList :: [NotebookCellLanguage] -> Doc ann #
Pretty NotebookCellTextDocumentFilter #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookCellTextDocumentFilter Methods pretty :: NotebookCellTextDocumentFilter -> Doc ann # prettyList :: [NotebookCellTextDocumentFilter] -> Doc ann #
Pretty NotebookDocument #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocument Methods pretty :: NotebookDocument -> Doc ann # prettyList :: [NotebookDocument] -> Doc ann #
Pretty NotebookDocumentCellChangeStructure #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentCellChangeStructure Methods pretty :: NotebookDocumentCellChangeStructure -> Doc ann # prettyList :: [NotebookDocumentCellChangeStructure] -> Doc ann #
Pretty NotebookDocumentCellChanges #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentCellChanges Methods pretty :: NotebookDocumentCellChanges -> Doc ann # prettyList :: [NotebookDocumentCellChanges] -> Doc ann #
Pretty NotebookDocumentCellContentChanges #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentCellContentChanges Methods pretty :: NotebookDocumentCellContentChanges -> Doc ann # prettyList :: [NotebookDocumentCellContentChanges] -> Doc ann #
Pretty NotebookDocumentChangeEvent #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentChangeEvent Methods pretty :: NotebookDocumentChangeEvent -> Doc ann # prettyList :: [NotebookDocumentChangeEvent] -> Doc ann #
Pretty NotebookDocumentClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentClientCapabilities Methods pretty :: NotebookDocumentClientCapabilities -> Doc ann # prettyList :: [NotebookDocumentClientCapabilities] -> Doc ann #
Pretty NotebookDocumentFilter #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentFilter Methods pretty :: NotebookDocumentFilter -> Doc ann # prettyList :: [NotebookDocumentFilter] -> Doc ann #
Pretty NotebookDocumentFilterNotebookType #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentFilterNotebookType Methods pretty :: NotebookDocumentFilterNotebookType -> Doc ann # prettyList :: [NotebookDocumentFilterNotebookType] -> Doc ann #
Pretty NotebookDocumentFilterPattern #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentFilterPattern Methods pretty :: NotebookDocumentFilterPattern -> Doc ann # prettyList :: [NotebookDocumentFilterPattern] -> Doc ann #
Pretty NotebookDocumentFilterScheme #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentFilterScheme Methods pretty :: NotebookDocumentFilterScheme -> Doc ann # prettyList :: [NotebookDocumentFilterScheme] -> Doc ann #
Pretty NotebookDocumentFilterWithCells #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentFilterWithCells Methods pretty :: NotebookDocumentFilterWithCells -> Doc ann # prettyList :: [NotebookDocumentFilterWithCells] -> Doc ann #
Pretty NotebookDocumentFilterWithNotebook #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentFilterWithNotebook Methods pretty :: NotebookDocumentFilterWithNotebook -> Doc ann # prettyList :: [NotebookDocumentFilterWithNotebook] -> Doc ann #
Pretty NotebookDocumentIdentifier #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentIdentifier Methods pretty :: NotebookDocumentIdentifier -> Doc ann # prettyList :: [NotebookDocumentIdentifier] -> Doc ann #
Pretty NotebookDocumentSyncClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentSyncClientCapabilities Methods pretty :: NotebookDocumentSyncClientCapabilities -> Doc ann # prettyList :: [NotebookDocumentSyncClientCapabilities] -> Doc ann #
Pretty NotebookDocumentSyncOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentSyncOptions Methods pretty :: NotebookDocumentSyncOptions -> Doc ann # prettyList :: [NotebookDocumentSyncOptions] -> Doc ann #
Pretty NotebookDocumentSyncRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.NotebookDocumentSyncRegistrationOptions Methods pretty :: NotebookDocumentSyncRegistrationOptions -> Doc ann # prettyList :: [NotebookDocumentSyncRegistrationOptions] -> Doc ann #
Pretty OptionalVersionedTextDocumentIdentifier #
Instance details Defined in Language.LSP.Protocol.Internal.Types.OptionalVersionedTextDocumentIdentifier Methods pretty :: OptionalVersionedTextDocumentIdentifier -> Doc ann # prettyList :: [OptionalVersionedTextDocumentIdentifier] -> Doc ann #
Pretty ParameterInformation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ParameterInformation Methods pretty :: ParameterInformation -> Doc ann # prettyList :: [ParameterInformation] -> Doc ann #
Pretty PartialResultParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PartialResultParams Methods pretty :: PartialResultParams -> Doc ann # prettyList :: [PartialResultParams] -> Doc ann #
Pretty Pattern #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Pattern Methods pretty :: Pattern -> Doc ann # prettyList :: [Pattern] -> Doc ann #
Pretty Position #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Position Methods pretty :: Position -> Doc ann # prettyList :: [Position] -> Doc ann #
Pretty PositionEncodingKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PositionEncodingKind Methods pretty :: PositionEncodingKind -> Doc ann # prettyList :: [PositionEncodingKind] -> Doc ann #
Pretty PrepareRenameDefaultBehavior #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PrepareRenameDefaultBehavior Methods pretty :: PrepareRenameDefaultBehavior -> Doc ann # prettyList :: [PrepareRenameDefaultBehavior] -> Doc ann #
Pretty PrepareRenameParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PrepareRenameParams Methods pretty :: PrepareRenameParams -> Doc ann # prettyList :: [PrepareRenameParams] -> Doc ann #
Pretty PrepareRenamePlaceholder #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PrepareRenamePlaceholder Methods pretty :: PrepareRenamePlaceholder -> Doc ann # prettyList :: [PrepareRenamePlaceholder] -> Doc ann #
Pretty PrepareRenameResult #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PrepareRenameResult Methods pretty :: PrepareRenameResult -> Doc ann # prettyList :: [PrepareRenameResult] -> Doc ann #
Pretty PrepareSupportDefaultBehavior #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PrepareSupportDefaultBehavior Methods pretty :: PrepareSupportDefaultBehavior -> Doc ann # prettyList :: [PrepareSupportDefaultBehavior] -> Doc ann #
Pretty PreviousResultId #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PreviousResultId Methods pretty :: PreviousResultId -> Doc ann # prettyList :: [PreviousResultId] -> Doc ann #
Pretty ProgressParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ProgressParams Methods pretty :: ProgressParams -> Doc ann # prettyList :: [ProgressParams] -> Doc ann #
Pretty ProgressToken #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ProgressToken Methods pretty :: ProgressToken -> Doc ann # prettyList :: [ProgressToken] -> Doc ann #
Pretty PublishDiagnosticsClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PublishDiagnosticsClientCapabilities Methods pretty :: PublishDiagnosticsClientCapabilities -> Doc ann # prettyList :: [PublishDiagnosticsClientCapabilities] -> Doc ann #
Pretty PublishDiagnosticsParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.PublishDiagnosticsParams Methods pretty :: PublishDiagnosticsParams -> Doc ann # prettyList :: [PublishDiagnosticsParams] -> Doc ann #
Pretty Range #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Range Methods pretty :: Range -> Doc ann # prettyList :: [Range] -> Doc ann #
Pretty ReferenceClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ReferenceClientCapabilities Methods pretty :: ReferenceClientCapabilities -> Doc ann # prettyList :: [ReferenceClientCapabilities] -> Doc ann #
Pretty ReferenceContext #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ReferenceContext Methods pretty :: ReferenceContext -> Doc ann # prettyList :: [ReferenceContext] -> Doc ann #
Pretty ReferenceOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ReferenceOptions Methods pretty :: ReferenceOptions -> Doc ann # prettyList :: [ReferenceOptions] -> Doc ann #
Pretty ReferenceParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ReferenceParams Methods pretty :: ReferenceParams -> Doc ann # prettyList :: [ReferenceParams] -> Doc ann #
Pretty ReferenceRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ReferenceRegistrationOptions Methods pretty :: ReferenceRegistrationOptions -> Doc ann # prettyList :: [ReferenceRegistrationOptions] -> Doc ann #
Pretty Registration #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Registration Methods pretty :: Registration -> Doc ann # prettyList :: [Registration] -> Doc ann #
Pretty RegistrationParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RegistrationParams Methods pretty :: RegistrationParams -> Doc ann # prettyList :: [RegistrationParams] -> Doc ann #
Pretty RegularExpressionEngineKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RegularExpressionEngineKind Methods pretty :: RegularExpressionEngineKind -> Doc ann # prettyList :: [RegularExpressionEngineKind] -> Doc ann #
Pretty RegularExpressionsClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RegularExpressionsClientCapabilities Methods pretty :: RegularExpressionsClientCapabilities -> Doc ann # prettyList :: [RegularExpressionsClientCapabilities] -> Doc ann #
Pretty RelatedFullDocumentDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RelatedFullDocumentDiagnosticReport Methods pretty :: RelatedFullDocumentDiagnosticReport -> Doc ann # prettyList :: [RelatedFullDocumentDiagnosticReport] -> Doc ann #
Pretty RelatedUnchangedDocumentDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RelatedUnchangedDocumentDiagnosticReport Methods pretty :: RelatedUnchangedDocumentDiagnosticReport -> Doc ann # prettyList :: [RelatedUnchangedDocumentDiagnosticReport] -> Doc ann #
Pretty RelativePattern #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RelativePattern Methods pretty :: RelativePattern -> Doc ann # prettyList :: [RelativePattern] -> Doc ann #
Pretty RenameClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RenameClientCapabilities Methods pretty :: RenameClientCapabilities -> Doc ann # prettyList :: [RenameClientCapabilities] -> Doc ann #
Pretty RenameFile #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RenameFile Methods pretty :: RenameFile -> Doc ann # prettyList :: [RenameFile] -> Doc ann #
Pretty RenameFileOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RenameFileOptions Methods pretty :: RenameFileOptions -> Doc ann # prettyList :: [RenameFileOptions] -> Doc ann #
Pretty RenameFilesParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RenameFilesParams Methods pretty :: RenameFilesParams -> Doc ann # prettyList :: [RenameFilesParams] -> Doc ann #
Pretty RenameOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RenameOptions Methods pretty :: RenameOptions -> Doc ann # prettyList :: [RenameOptions] -> Doc ann #
Pretty RenameParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RenameParams Methods pretty :: RenameParams -> Doc ann # prettyList :: [RenameParams] -> Doc ann #
Pretty RenameRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.RenameRegistrationOptions Methods pretty :: RenameRegistrationOptions -> Doc ann # prettyList :: [RenameRegistrationOptions] -> Doc ann #
Pretty ResourceOperation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ResourceOperation Methods pretty :: ResourceOperation -> Doc ann # prettyList :: [ResourceOperation] -> Doc ann #
Pretty ResourceOperationKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ResourceOperationKind Methods pretty :: ResourceOperationKind -> Doc ann # prettyList :: [ResourceOperationKind] -> Doc ann #
Pretty SaveOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SaveOptions Methods pretty :: SaveOptions -> Doc ann # prettyList :: [SaveOptions] -> Doc ann #
Pretty SelectionRange #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SelectionRange Methods pretty :: SelectionRange -> Doc ann # prettyList :: [SelectionRange] -> Doc ann #
Pretty SelectionRangeClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SelectionRangeClientCapabilities Methods pretty :: SelectionRangeClientCapabilities -> Doc ann # prettyList :: [SelectionRangeClientCapabilities] -> Doc ann #
Pretty SelectionRangeOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SelectionRangeOptions Methods pretty :: SelectionRangeOptions -> Doc ann # prettyList :: [SelectionRangeOptions] -> Doc ann #
Pretty SelectionRangeParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SelectionRangeParams Methods pretty :: SelectionRangeParams -> Doc ann # prettyList :: [SelectionRangeParams] -> Doc ann #
Pretty SelectionRangeRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SelectionRangeRegistrationOptions Methods pretty :: SelectionRangeRegistrationOptions -> Doc ann # prettyList :: [SelectionRangeRegistrationOptions] -> Doc ann #
Pretty SemanticTokenModifiers #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokenModifiers Methods pretty :: SemanticTokenModifiers -> Doc ann # prettyList :: [SemanticTokenModifiers] -> Doc ann #
Pretty SemanticTokenTypes #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokenTypes Methods pretty :: SemanticTokenTypes -> Doc ann # prettyList :: [SemanticTokenTypes] -> Doc ann #
Pretty SemanticTokens #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokens Methods pretty :: SemanticTokens -> Doc ann # prettyList :: [SemanticTokens] -> Doc ann #
Pretty SemanticTokensClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensClientCapabilities Methods pretty :: SemanticTokensClientCapabilities -> Doc ann # prettyList :: [SemanticTokensClientCapabilities] -> Doc ann #
Pretty SemanticTokensDelta #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensDelta Methods pretty :: SemanticTokensDelta -> Doc ann # prettyList :: [SemanticTokensDelta] -> Doc ann #
Pretty SemanticTokensDeltaParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensDeltaParams Methods pretty :: SemanticTokensDeltaParams -> Doc ann # prettyList :: [SemanticTokensDeltaParams] -> Doc ann #
Pretty SemanticTokensDeltaPartialResult #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensDeltaPartialResult Methods pretty :: SemanticTokensDeltaPartialResult -> Doc ann # prettyList :: [SemanticTokensDeltaPartialResult] -> Doc ann #
Pretty SemanticTokensEdit #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensEdit Methods pretty :: SemanticTokensEdit -> Doc ann # prettyList :: [SemanticTokensEdit] -> Doc ann #
Pretty SemanticTokensFullDelta #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensFullDelta Methods pretty :: SemanticTokensFullDelta -> Doc ann # prettyList :: [SemanticTokensFullDelta] -> Doc ann #
Pretty SemanticTokensLegend #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensLegend Methods pretty :: SemanticTokensLegend -> Doc ann # prettyList :: [SemanticTokensLegend] -> Doc ann #
Pretty SemanticTokensOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensOptions Methods pretty :: SemanticTokensOptions -> Doc ann # prettyList :: [SemanticTokensOptions] -> Doc ann #
Pretty SemanticTokensParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensParams Methods pretty :: SemanticTokensParams -> Doc ann # prettyList :: [SemanticTokensParams] -> Doc ann #
Pretty SemanticTokensPartialResult #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensPartialResult Methods pretty :: SemanticTokensPartialResult -> Doc ann # prettyList :: [SemanticTokensPartialResult] -> Doc ann #
Pretty SemanticTokensRangeParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensRangeParams Methods pretty :: SemanticTokensRangeParams -> Doc ann # prettyList :: [SemanticTokensRangeParams] -> Doc ann #
Pretty SemanticTokensRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensRegistrationOptions Methods pretty :: SemanticTokensRegistrationOptions -> Doc ann # prettyList :: [SemanticTokensRegistrationOptions] -> Doc ann #
Pretty SemanticTokensWorkspaceClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SemanticTokensWorkspaceClientCapabilities Methods pretty :: SemanticTokensWorkspaceClientCapabilities -> Doc ann # prettyList :: [SemanticTokensWorkspaceClientCapabilities] -> Doc ann #
Pretty ServerCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ServerCapabilities Methods pretty :: ServerCapabilities -> Doc ann # prettyList :: [ServerCapabilities] -> Doc ann #
Pretty ServerCompletionItemOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ServerCompletionItemOptions Methods pretty :: ServerCompletionItemOptions -> Doc ann # prettyList :: [ServerCompletionItemOptions] -> Doc ann #
Pretty ServerInfo #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ServerInfo Methods pretty :: ServerInfo -> Doc ann # prettyList :: [ServerInfo] -> Doc ann #
Pretty SetTraceParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SetTraceParams Methods pretty :: SetTraceParams -> Doc ann # prettyList :: [SetTraceParams] -> Doc ann #
Pretty ShowDocumentClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ShowDocumentClientCapabilities Methods pretty :: ShowDocumentClientCapabilities -> Doc ann # prettyList :: [ShowDocumentClientCapabilities] -> Doc ann #
Pretty ShowDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ShowDocumentParams Methods pretty :: ShowDocumentParams -> Doc ann # prettyList :: [ShowDocumentParams] -> Doc ann #
Pretty ShowDocumentResult #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ShowDocumentResult Methods pretty :: ShowDocumentResult -> Doc ann # prettyList :: [ShowDocumentResult] -> Doc ann #
Pretty ShowMessageParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ShowMessageParams Methods pretty :: ShowMessageParams -> Doc ann # prettyList :: [ShowMessageParams] -> Doc ann #
Pretty ShowMessageRequestClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ShowMessageRequestClientCapabilities Methods pretty :: ShowMessageRequestClientCapabilities -> Doc ann # prettyList :: [ShowMessageRequestClientCapabilities] -> Doc ann #
Pretty ShowMessageRequestParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.ShowMessageRequestParams Methods pretty :: ShowMessageRequestParams -> Doc ann # prettyList :: [ShowMessageRequestParams] -> Doc ann #
Pretty SignatureHelp #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SignatureHelp Methods pretty :: SignatureHelp -> Doc ann # prettyList :: [SignatureHelp] -> Doc ann #
Pretty SignatureHelpClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SignatureHelpClientCapabilities Methods pretty :: SignatureHelpClientCapabilities -> Doc ann # prettyList :: [SignatureHelpClientCapabilities] -> Doc ann #
Pretty SignatureHelpContext #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SignatureHelpContext Methods pretty :: SignatureHelpContext -> Doc ann # prettyList :: [SignatureHelpContext] -> Doc ann #
Pretty SignatureHelpOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SignatureHelpOptions Methods pretty :: SignatureHelpOptions -> Doc ann # prettyList :: [SignatureHelpOptions] -> Doc ann #
Pretty SignatureHelpParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SignatureHelpParams Methods pretty :: SignatureHelpParams -> Doc ann # prettyList :: [SignatureHelpParams] -> Doc ann #
Pretty SignatureHelpRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SignatureHelpRegistrationOptions Methods pretty :: SignatureHelpRegistrationOptions -> Doc ann # prettyList :: [SignatureHelpRegistrationOptions] -> Doc ann #
Pretty SignatureHelpTriggerKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SignatureHelpTriggerKind Methods pretty :: SignatureHelpTriggerKind -> Doc ann # prettyList :: [SignatureHelpTriggerKind] -> Doc ann #
Pretty SignatureInformation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SignatureInformation Methods pretty :: SignatureInformation -> Doc ann # prettyList :: [SignatureInformation] -> Doc ann #
Pretty StaleRequestSupportOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.StaleRequestSupportOptions Methods pretty :: StaleRequestSupportOptions -> Doc ann # prettyList :: [StaleRequestSupportOptions] -> Doc ann #
Pretty StaticRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.StaticRegistrationOptions Methods pretty :: StaticRegistrationOptions -> Doc ann # prettyList :: [StaticRegistrationOptions] -> Doc ann #
Pretty SymbolInformation #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SymbolInformation Methods pretty :: SymbolInformation -> Doc ann # prettyList :: [SymbolInformation] -> Doc ann #
Pretty SymbolKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SymbolKind Methods pretty :: SymbolKind -> Doc ann # prettyList :: [SymbolKind] -> Doc ann #
Pretty SymbolTag #
Instance details Defined in Language.LSP.Protocol.Internal.Types.SymbolTag Methods pretty :: SymbolTag -> Doc ann # prettyList :: [SymbolTag] -> Doc ann #
Pretty TextDocumentChangeRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentChangeRegistrationOptions Methods pretty :: TextDocumentChangeRegistrationOptions -> Doc ann # prettyList :: [TextDocumentChangeRegistrationOptions] -> Doc ann #
Pretty TextDocumentClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentClientCapabilities Methods pretty :: TextDocumentClientCapabilities -> Doc ann # prettyList :: [TextDocumentClientCapabilities] -> Doc ann #
Pretty TextDocumentContentChangeEvent #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentContentChangeEvent Methods pretty :: TextDocumentContentChangeEvent -> Doc ann # prettyList :: [TextDocumentContentChangeEvent] -> Doc ann #
Pretty TextDocumentContentChangePartial #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentContentChangePartial Methods pretty :: TextDocumentContentChangePartial -> Doc ann # prettyList :: [TextDocumentContentChangePartial] -> Doc ann #
Pretty TextDocumentContentChangeWholeDocument #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentContentChangeWholeDocument Methods pretty :: TextDocumentContentChangeWholeDocument -> Doc ann # prettyList :: [TextDocumentContentChangeWholeDocument] -> Doc ann #
Pretty TextDocumentEdit #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentEdit Methods pretty :: TextDocumentEdit -> Doc ann # prettyList :: [TextDocumentEdit] -> Doc ann #
Pretty TextDocumentFilter #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentFilter Methods pretty :: TextDocumentFilter -> Doc ann # prettyList :: [TextDocumentFilter] -> Doc ann #
Pretty TextDocumentFilterLanguage #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentFilterLanguage Methods pretty :: TextDocumentFilterLanguage -> Doc ann # prettyList :: [TextDocumentFilterLanguage] -> Doc ann #
Pretty TextDocumentFilterPattern #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentFilterPattern Methods pretty :: TextDocumentFilterPattern -> Doc ann # prettyList :: [TextDocumentFilterPattern] -> Doc ann #
Pretty TextDocumentFilterScheme #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentFilterScheme Methods pretty :: TextDocumentFilterScheme -> Doc ann # prettyList :: [TextDocumentFilterScheme] -> Doc ann #
Pretty TextDocumentIdentifier #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentIdentifier Methods pretty :: TextDocumentIdentifier -> Doc ann # prettyList :: [TextDocumentIdentifier] -> Doc ann #
Pretty TextDocumentItem #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentItem Methods pretty :: TextDocumentItem -> Doc ann # prettyList :: [TextDocumentItem] -> Doc ann #
Pretty TextDocumentPositionParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentPositionParams Methods pretty :: TextDocumentPositionParams -> Doc ann # prettyList :: [TextDocumentPositionParams] -> Doc ann #
Pretty TextDocumentRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentRegistrationOptions Methods pretty :: TextDocumentRegistrationOptions -> Doc ann # prettyList :: [TextDocumentRegistrationOptions] -> Doc ann #
Pretty TextDocumentSaveReason #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentSaveReason Methods pretty :: TextDocumentSaveReason -> Doc ann # prettyList :: [TextDocumentSaveReason] -> Doc ann #
Pretty TextDocumentSaveRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentSaveRegistrationOptions Methods pretty :: TextDocumentSaveRegistrationOptions -> Doc ann # prettyList :: [TextDocumentSaveRegistrationOptions] -> Doc ann #
Pretty TextDocumentSyncClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentSyncClientCapabilities Methods pretty :: TextDocumentSyncClientCapabilities -> Doc ann # prettyList :: [TextDocumentSyncClientCapabilities] -> Doc ann #
Pretty TextDocumentSyncKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentSyncKind Methods pretty :: TextDocumentSyncKind -> Doc ann # prettyList :: [TextDocumentSyncKind] -> Doc ann #
Pretty TextDocumentSyncOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextDocumentSyncOptions Methods pretty :: TextDocumentSyncOptions -> Doc ann # prettyList :: [TextDocumentSyncOptions] -> Doc ann #
Pretty TextEdit #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TextEdit Methods pretty :: TextEdit -> Doc ann # prettyList :: [TextEdit] -> Doc ann #
Pretty TokenFormat #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TokenFormat Methods pretty :: TokenFormat -> Doc ann # prettyList :: [TokenFormat] -> Doc ann #
Pretty TraceValue #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TraceValue Methods pretty :: TraceValue -> Doc ann # prettyList :: [TraceValue] -> Doc ann #
Pretty TypeDefinitionClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeDefinitionClientCapabilities Methods pretty :: TypeDefinitionClientCapabilities -> Doc ann # prettyList :: [TypeDefinitionClientCapabilities] -> Doc ann #
Pretty TypeDefinitionOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeDefinitionOptions Methods pretty :: TypeDefinitionOptions -> Doc ann # prettyList :: [TypeDefinitionOptions] -> Doc ann #
Pretty TypeDefinitionParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeDefinitionParams Methods pretty :: TypeDefinitionParams -> Doc ann # prettyList :: [TypeDefinitionParams] -> Doc ann #
Pretty TypeDefinitionRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeDefinitionRegistrationOptions Methods pretty :: TypeDefinitionRegistrationOptions -> Doc ann # prettyList :: [TypeDefinitionRegistrationOptions] -> Doc ann #
Pretty TypeHierarchyClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeHierarchyClientCapabilities Methods pretty :: TypeHierarchyClientCapabilities -> Doc ann # prettyList :: [TypeHierarchyClientCapabilities] -> Doc ann #
Pretty TypeHierarchyItem #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeHierarchyItem Methods pretty :: TypeHierarchyItem -> Doc ann # prettyList :: [TypeHierarchyItem] -> Doc ann #
Pretty TypeHierarchyOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeHierarchyOptions Methods pretty :: TypeHierarchyOptions -> Doc ann # prettyList :: [TypeHierarchyOptions] -> Doc ann #
Pretty TypeHierarchyPrepareParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeHierarchyPrepareParams Methods pretty :: TypeHierarchyPrepareParams -> Doc ann # prettyList :: [TypeHierarchyPrepareParams] -> Doc ann #
Pretty TypeHierarchyRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeHierarchyRegistrationOptions Methods pretty :: TypeHierarchyRegistrationOptions -> Doc ann # prettyList :: [TypeHierarchyRegistrationOptions] -> Doc ann #
Pretty TypeHierarchySubtypesParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeHierarchySubtypesParams Methods pretty :: TypeHierarchySubtypesParams -> Doc ann # prettyList :: [TypeHierarchySubtypesParams] -> Doc ann #
Pretty TypeHierarchySupertypesParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.TypeHierarchySupertypesParams Methods pretty :: TypeHierarchySupertypesParams -> Doc ann # prettyList :: [TypeHierarchySupertypesParams] -> Doc ann #
Pretty UInitializeParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.UInitializeParams Methods pretty :: UInitializeParams -> Doc ann # prettyList :: [UInitializeParams] -> Doc ann #
Pretty UnchangedDocumentDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.UnchangedDocumentDiagnosticReport Methods pretty :: UnchangedDocumentDiagnosticReport -> Doc ann # prettyList :: [UnchangedDocumentDiagnosticReport] -> Doc ann #
Pretty UniquenessLevel #
Instance details Defined in Language.LSP.Protocol.Internal.Types.UniquenessLevel Methods pretty :: UniquenessLevel -> Doc ann # prettyList :: [UniquenessLevel] -> Doc ann #
Pretty Unregistration #
Instance details Defined in Language.LSP.Protocol.Internal.Types.Unregistration Methods pretty :: Unregistration -> Doc ann # prettyList :: [Unregistration] -> Doc ann #
Pretty UnregistrationParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.UnregistrationParams Methods pretty :: UnregistrationParams -> Doc ann # prettyList :: [UnregistrationParams] -> Doc ann #
Pretty VersionedNotebookDocumentIdentifier #
Instance details Defined in Language.LSP.Protocol.Internal.Types.VersionedNotebookDocumentIdentifier Methods pretty :: VersionedNotebookDocumentIdentifier -> Doc ann # prettyList :: [VersionedNotebookDocumentIdentifier] -> Doc ann #
Pretty VersionedTextDocumentIdentifier #
Instance details Defined in Language.LSP.Protocol.Internal.Types.VersionedTextDocumentIdentifier Methods pretty :: VersionedTextDocumentIdentifier -> Doc ann # prettyList :: [VersionedTextDocumentIdentifier] -> Doc ann #
Pretty WatchKind #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WatchKind Methods pretty :: WatchKind -> Doc ann # prettyList :: [WatchKind] -> Doc ann #
Pretty WillSaveTextDocumentParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WillSaveTextDocumentParams Methods pretty :: WillSaveTextDocumentParams -> Doc ann # prettyList :: [WillSaveTextDocumentParams] -> Doc ann #
Pretty WindowClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WindowClientCapabilities Methods pretty :: WindowClientCapabilities -> Doc ann # prettyList :: [WindowClientCapabilities] -> Doc ann #
Pretty WorkDoneProgressBegin #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkDoneProgressBegin Methods pretty :: WorkDoneProgressBegin -> Doc ann # prettyList :: [WorkDoneProgressBegin] -> Doc ann #
Pretty WorkDoneProgressCancelParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkDoneProgressCancelParams Methods pretty :: WorkDoneProgressCancelParams -> Doc ann # prettyList :: [WorkDoneProgressCancelParams] -> Doc ann #
Pretty WorkDoneProgressCreateParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkDoneProgressCreateParams Methods pretty :: WorkDoneProgressCreateParams -> Doc ann # prettyList :: [WorkDoneProgressCreateParams] -> Doc ann #
Pretty WorkDoneProgressEnd #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkDoneProgressEnd Methods pretty :: WorkDoneProgressEnd -> Doc ann # prettyList :: [WorkDoneProgressEnd] -> Doc ann #
Pretty WorkDoneProgressOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkDoneProgressOptions Methods pretty :: WorkDoneProgressOptions -> Doc ann # prettyList :: [WorkDoneProgressOptions] -> Doc ann #
Pretty WorkDoneProgressParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkDoneProgressParams Methods pretty :: WorkDoneProgressParams -> Doc ann # prettyList :: [WorkDoneProgressParams] -> Doc ann #
Pretty WorkDoneProgressReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkDoneProgressReport Methods pretty :: WorkDoneProgressReport -> Doc ann # prettyList :: [WorkDoneProgressReport] -> Doc ann #
Pretty WorkspaceClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceClientCapabilities Methods pretty :: WorkspaceClientCapabilities -> Doc ann # prettyList :: [WorkspaceClientCapabilities] -> Doc ann #
Pretty WorkspaceDiagnosticParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceDiagnosticParams Methods pretty :: WorkspaceDiagnosticParams -> Doc ann # prettyList :: [WorkspaceDiagnosticParams] -> Doc ann #
Pretty WorkspaceDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceDiagnosticReport Methods pretty :: WorkspaceDiagnosticReport -> Doc ann # prettyList :: [WorkspaceDiagnosticReport] -> Doc ann #
Pretty WorkspaceDiagnosticReportPartialResult #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceDiagnosticReportPartialResult Methods pretty :: WorkspaceDiagnosticReportPartialResult -> Doc ann # prettyList :: [WorkspaceDiagnosticReportPartialResult] -> Doc ann #
Pretty WorkspaceDocumentDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceDocumentDiagnosticReport Methods pretty :: WorkspaceDocumentDiagnosticReport -> Doc ann # prettyList :: [WorkspaceDocumentDiagnosticReport] -> Doc ann #
Pretty WorkspaceEdit #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceEdit Methods pretty :: WorkspaceEdit -> Doc ann # prettyList :: [WorkspaceEdit] -> Doc ann #
Pretty WorkspaceEditClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceEditClientCapabilities Methods pretty :: WorkspaceEditClientCapabilities -> Doc ann # prettyList :: [WorkspaceEditClientCapabilities] -> Doc ann #
Pretty WorkspaceFolder #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceFolder Methods pretty :: WorkspaceFolder -> Doc ann # prettyList :: [WorkspaceFolder] -> Doc ann #
Pretty WorkspaceFoldersChangeEvent #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceFoldersChangeEvent Methods pretty :: WorkspaceFoldersChangeEvent -> Doc ann # prettyList :: [WorkspaceFoldersChangeEvent] -> Doc ann #
Pretty WorkspaceFoldersInitializeParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceFoldersInitializeParams Methods pretty :: WorkspaceFoldersInitializeParams -> Doc ann # prettyList :: [WorkspaceFoldersInitializeParams] -> Doc ann #
Pretty WorkspaceFoldersServerCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceFoldersServerCapabilities Methods pretty :: WorkspaceFoldersServerCapabilities -> Doc ann # prettyList :: [WorkspaceFoldersServerCapabilities] -> Doc ann #
Pretty WorkspaceFullDocumentDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceFullDocumentDiagnosticReport Methods pretty :: WorkspaceFullDocumentDiagnosticReport -> Doc ann # prettyList :: [WorkspaceFullDocumentDiagnosticReport] -> Doc ann #
Pretty WorkspaceOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceOptions Methods pretty :: WorkspaceOptions -> Doc ann # prettyList :: [WorkspaceOptions] -> Doc ann #
Pretty WorkspaceSymbol #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceSymbol Methods pretty :: WorkspaceSymbol -> Doc ann # prettyList :: [WorkspaceSymbol] -> Doc ann #
Pretty WorkspaceSymbolClientCapabilities #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceSymbolClientCapabilities Methods pretty :: WorkspaceSymbolClientCapabilities -> Doc ann # prettyList :: [WorkspaceSymbolClientCapabilities] -> Doc ann #
Pretty WorkspaceSymbolOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceSymbolOptions Methods pretty :: WorkspaceSymbolOptions -> Doc ann # prettyList :: [WorkspaceSymbolOptions] -> Doc ann #
Pretty WorkspaceSymbolParams #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceSymbolParams Methods pretty :: WorkspaceSymbolParams -> Doc ann # prettyList :: [WorkspaceSymbolParams] -> Doc ann #
Pretty WorkspaceSymbolRegistrationOptions #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceSymbolRegistrationOptions Methods pretty :: WorkspaceSymbolRegistrationOptions -> Doc ann # prettyList :: [WorkspaceSymbolRegistrationOptions] -> Doc ann #
Pretty WorkspaceUnchangedDocumentDiagnosticReport #
Instance details Defined in Language.LSP.Protocol.Internal.Types.WorkspaceUnchangedDocumentDiagnosticReport Methods pretty :: WorkspaceUnchangedDocumentDiagnosticReport -> Doc ann # prettyList :: [WorkspaceUnchangedDocumentDiagnosticReport] -> Doc ann #
Pretty SomeClientMethod #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods pretty :: SomeClientMethod -> Doc ann # prettyList :: [SomeClientMethod] -> Doc ann #
Pretty SomeServerMethod #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods pretty :: SomeServerMethod -> Doc ann # prettyList :: [SomeServerMethod] -> Doc ann #
Pretty SomeRegistration #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods pretty :: SomeRegistration -> Doc ann # prettyList :: [SomeRegistration] -> Doc ann #
Pretty SomeUnregistration #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods pretty :: SomeUnregistration -> Doc ann # prettyList :: [SomeUnregistration] -> Doc ann #
Pretty NotificationMessage #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: NotificationMessage -> Doc ann # prettyList :: [NotificationMessage] -> Doc ann #
Pretty RequestMessage #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: RequestMessage -> Doc ann # prettyList :: [RequestMessage] -> Doc ann #
Pretty ResponseError #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: ResponseError -> Doc ann # prettyList :: [ResponseError] -> Doc ann #
Pretty ResponseMessage #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: ResponseMessage -> Doc ann # prettyList :: [ResponseMessage] -> Doc ann #
Pretty Null #
Instance details Defined in Language.LSP.Protocol.Types.Common Methods pretty :: Null -> Doc ann # prettyList :: [Null] -> Doc ann #
Pretty UInt #
Instance details Defined in Language.LSP.Protocol.Types.Common Methods pretty :: UInt -> Doc ann # prettyList :: [UInt] -> Doc ann #
Pretty NormalizedUri #
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods pretty :: NormalizedUri -> Doc ann # prettyList :: [NormalizedUri] -> Doc ann #
Pretty Uri #
Instance details Defined in Language.LSP.Protocol.Types.Uri Methods pretty :: Uri -> Doc ann # prettyList :: [Uri] -> Doc ann #
Pretty Text #	Automatically converts all newlines to `line`. `>>>` `pretty ("hello\nworld" :: Text)`hello world Note that `line` can be undone by `group`: `>>>` `group (pretty ("hello\nworld" :: Text))`hello world Manually use `hardline` if you definitely want newlines.
Instance details Defined in Prettyprinter.Internal Methods pretty :: Text -> Doc ann # prettyList :: [Text] -> Doc ann #
Pretty Text #	(lazy `Text` instance, identical to the strict version)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Text -> Doc ann # prettyList :: [Text] -> Doc ann #
Pretty Integer #	`>>>` `pretty (2^123 :: Integer)`10633823966279326983230456482242756608
Instance details Defined in Prettyprinter.Internal Methods pretty :: Integer -> Doc ann # prettyList :: [Integer] -> Doc ann #
Pretty Natural #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Natural -> Doc ann # prettyList :: [Natural] -> Doc ann #
Pretty () #	`>>>` `pretty ()`() The argument is not used: `>>>` `pretty (error "Strict?" :: ())`()
Instance details Defined in Prettyprinter.Internal Methods pretty :: () -> Doc ann # prettyList :: [()] -> Doc ann #
Pretty Bool #	`>>>` `pretty True`True
Instance details Defined in Prettyprinter.Internal Methods pretty :: Bool -> Doc ann # prettyList :: [Bool] -> Doc ann #
Pretty Char #	Instead of `(pretty '\n')`, consider using `line` as a more readable alternative. `>>>` `pretty 'f' <> pretty 'o' <> pretty 'o'`foo `>>>` `pretty ("string" :: String)`string
Instance details Defined in Prettyprinter.Internal Methods pretty :: Char -> Doc ann # prettyList :: [Char] -> Doc ann #
Pretty Double #	`>>>` `pretty (exp 1 :: Double)`2.71828182845904...
Instance details Defined in Prettyprinter.Internal Methods pretty :: Double -> Doc ann # prettyList :: [Double] -> Doc ann #
Pretty Float #	`>>>` `pretty (pi :: Float)`3.1415927
Instance details Defined in Prettyprinter.Internal Methods pretty :: Float -> Doc ann # prettyList :: [Float] -> Doc ann #
Pretty Int #	`>>>` `pretty (123 :: Int)`123
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int -> Doc ann # prettyList :: [Int] -> Doc ann #
Pretty Word #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word -> Doc ann # prettyList :: [Word] -> Doc ann #
Pretty (Set Alias) Source #
Instance details Defined in Language.Futhark.TypeChecker.Consumption Methods pretty :: Set Alias -> Doc ann # prettyList :: [Set Alias] -> Doc ann #
PrettyRep rep => Pretty (SOAC rep) Source #
Instance details Defined in Futhark.Analysis.HORep.SOAC Methods pretty :: SOAC rep -> Doc ann # prettyList :: [SOAC rep] -> Doc ann #
Pretty v => Pretty (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods pretty :: PrimExp v -> Doc ann # prettyList :: [PrimExp v] -> Doc ann #
Pretty op => Pretty (Code op) Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: Code op -> Doc ann # prettyList :: [Code op] -> Doc ann #
Pretty op => Pretty (Constants op) Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: Constants op -> Doc ann # prettyList :: [Constants op] -> Doc ann #
Pretty op => Pretty (Definitions op) Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: Definitions op -> Doc ann # prettyList :: [Definitions op] -> Doc ann #
Pretty op => Pretty (FunctionT op) Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: FunctionT op -> Doc ann # prettyList :: [FunctionT op] -> Doc ann #
Pretty op => Pretty (Functions op) Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods pretty :: Functions op -> Doc ann # prettyList :: [Functions op] -> Doc ann #
Pretty num => Pretty (LMAD num) Source #
Instance details Defined in Futhark.IR.Mem.LMAD Methods pretty :: LMAD num -> Doc ann # prettyList :: [LMAD num] -> Doc ann #
PrettyRep rep => Pretty (Reduce rep) Source #
Instance details Defined in Futhark.IR.SOACS.SOAC Methods pretty :: Reduce rep -> Doc ann # prettyList :: [Reduce rep] -> Doc ann #
PrettyRep rep => Pretty (SOAC rep) Source #
Instance details Defined in Futhark.IR.SOACS.SOAC Methods pretty :: SOAC rep -> Doc ann # prettyList :: [SOAC rep] -> Doc ann #
PrettyRep rep => Pretty (Scan rep) Source #
Instance details Defined in Futhark.IR.SOACS.SOAC Methods pretty :: Scan rep -> Doc ann # prettyList :: [Scan rep] -> Doc ann #
PrettyRep rep => Pretty (ScremaForm rep) Source #
Instance details Defined in Futhark.IR.SOACS.SOAC Methods pretty :: ScremaForm rep -> Doc ann # prettyList :: [ScremaForm rep] -> Doc ann #
PrettyRep rep => Pretty (KernelBody rep) Source #
Instance details Defined in Futhark.IR.SegOp Methods pretty :: KernelBody rep -> Doc ann # prettyList :: [KernelBody rep] -> Doc ann #
PrettyRep rep => Pretty (SegBinOp rep) Source #
Instance details Defined in Futhark.IR.SegOp Methods pretty :: SegBinOp rep -> Doc ann # prettyList :: [SegBinOp rep] -> Doc ann #
PrettyRep rep => Pretty (SegPostOp rep) Source #
Instance details Defined in Futhark.IR.SegOp Methods pretty :: SegPostOp rep -> Doc ann # prettyList :: [SegPostOp rep] -> Doc ann #
PrettyRep rep => Pretty (Body rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Body rep -> Doc ann # prettyList :: [Body rep] -> Doc ann #
PrettyRep rep => Pretty (Case (Body rep)) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Case (Body rep) -> Doc ann # prettyList :: [Case (Body rep)] -> Doc ann #
Pretty d => Pretty (DimSplice d) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: DimSplice d -> Doc ann # prettyList :: [DimSplice d] -> Doc ann #
PrettyRep rep => Pretty (Exp rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Exp rep -> Doc ann # prettyList :: [Exp rep] -> Doc ann #
PrettyRep rep => Pretty (FunDef rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: FunDef rep -> Doc ann # prettyList :: [FunDef rep] -> Doc ann #
Pretty d => Pretty (NewShape d) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: NewShape d -> Doc ann # prettyList :: [NewShape d] -> Doc ann #
Pretty t => Pretty (Pat t) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Pat t -> Doc ann # prettyList :: [Pat t] -> Doc ann #
PrettyRep rep => Pretty (Prog rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Prog rep -> Doc ann # prettyList :: [Prog rep] -> Doc ann #
PrettyRep rep => Pretty (Stm rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Stm rep -> Doc ann # prettyList :: [Stm rep] -> Doc ann #
Pretty dec => Pretty (StmAux dec) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: StmAux dec -> Doc ann # prettyList :: [StmAux dec] -> Doc ann #
PrettyRep rep => Pretty (Stms rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Stms rep -> Doc ann # prettyList :: [Stms rep] -> Doc ann #
Pretty d => Pretty (DimIndex d) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: DimIndex d -> Doc ann # prettyList :: [DimIndex d] -> Doc ann #
Pretty a => Pretty (ErrorMsg a) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: ErrorMsg a -> Doc ann # prettyList :: [ErrorMsg a] -> Doc ann #
Pretty a => Pretty (Ext a) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Ext a -> Doc ann # prettyList :: [Ext a] -> Doc ann #
Pretty d => Pretty (FlatDimIndex d) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: FlatDimIndex d -> Doc ann # prettyList :: [FlatDimIndex d] -> Doc ann #
Pretty a => Pretty (FlatSlice a) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: FlatSlice a -> Doc ann # prettyList :: [FlatSlice a] -> Doc ann #
Pretty t => Pretty (Param t) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Param t -> Doc ann # prettyList :: [Param t] -> Doc ann #
Pretty t => Pretty (PatElem t) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: PatElem t -> Doc ann # prettyList :: [PatElem t] -> Doc ann #
Pretty d => Pretty (ShapeBase d) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: ShapeBase d -> Doc ann # prettyList :: [ShapeBase d] -> Doc ann #
Pretty a => Pretty (Slice a) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Slice a -> Doc ann # prettyList :: [Slice a] -> Doc ann #
PrettyRep rep => Pretty (SuperScrema rep) Source #
Instance details Defined in Futhark.Optimise.Fusion.Screma Methods pretty :: SuperScrema rep -> Doc ann # prettyList :: [SuperScrema rep] -> Doc ann #
Pretty d => Pretty (Shape d) Source #
Instance details Defined in Language.Futhark.Interpreter.Values Methods pretty :: Shape d -> Doc ann # prettyList :: [Shape d] -> Doc ann #
IsName vn => Pretty (AttrAtom vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: AttrAtom vn -> Doc ann # prettyList :: [AttrAtom vn] -> Doc ann #
IsName vn => Pretty (AttrInfo vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: AttrInfo vn -> Doc ann # prettyList :: [AttrInfo vn] -> Doc ann #
IsName vn => Pretty (QualName vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: QualName vn -> Doc ann # prettyList :: [QualName vn] -> Doc ann #
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 #
IsName vn => Pretty (SizeBinder vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: SizeBinder vn -> Doc ann # prettyList :: [SizeBinder vn] -> Doc ann #
Pretty d => Pretty (SizeExp d) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: SizeExp d -> Doc ann # prettyList :: [SizeExp d] -> Doc ann #
Pretty (TypeArg Size) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: TypeArg Size -> Doc ann # prettyList :: [TypeArg Size] -> Doc ann #
IsName vn => Pretty (TypeParamBase vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: TypeParamBase vn -> Doc ann # prettyList :: [TypeParamBase vn] -> 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 #
Pretty (CtTy ()) Source #
Instance details Defined in Language.Futhark.TypeChecker.Constraints Methods pretty :: CtTy () -> Doc ann # prettyList :: [CtTy ()] -> Doc ann #
Pretty (TyVarInfo ()) Source #
Instance details Defined in Language.Futhark.TypeChecker.Constraints Methods pretty :: TyVarInfo () -> Doc ann # prettyList :: [TyVarInfo ()] -> Doc ann #
Pretty (Match t) Source #
Instance details Defined in Language.Futhark.TypeChecker.Match Methods pretty :: Match t -> Doc ann # prettyList :: [Match t] -> Doc ann #
Pretty t => Pretty (Subst t) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods pretty :: Subst t -> Doc ann # prettyList :: [Subst t] -> Doc ann #
Pretty a => Pretty (NonEmpty a) #
Instance details Defined in Prettyprinter.Internal Methods pretty :: NonEmpty a -> Doc ann # prettyList :: [NonEmpty a] -> Doc ann #
Pretty a => Pretty (Identity a) #	`>>>` `pretty (Identity 1)`1
Instance details Defined in Prettyprinter.Internal Methods pretty :: Identity a -> Doc ann # prettyList :: [Identity a] -> Doc ann #
Pretty (AString s) #
Instance details Defined in Language.LSP.Protocol.Types.Singletons Methods pretty :: AString s -> Doc ann # prettyList :: [AString s] -> Doc ann #
Pretty (AnInteger n) #
Instance details Defined in Language.LSP.Protocol.Types.Singletons Methods pretty :: AnInteger n -> Doc ann # prettyList :: [AnInteger n] -> Doc ann #
ToJSON a => Pretty (ViaJSON a) #
Instance details Defined in Language.LSP.Protocol.Utils.Misc Methods pretty :: ViaJSON a -> Doc ann # prettyList :: [ViaJSON a] -> Doc ann #
ann ~ Void => Pretty (Doc ann) #	Since: prettyprinter-1.7.2
Instance details Defined in Prettyprinter.Internal Methods pretty :: Doc ann -> Doc ann0 # prettyList :: [Doc ann] -> Doc ann0 #
Pretty a => Pretty (Maybe a) #	Ignore `Nothing`s, print `Just` contents. `>>>` `pretty (Just True)`True `>>>` `braces (pretty (Nothing :: Maybe Bool))`{} `>>>` `pretty [Just 1, Nothing, Just 3, Nothing]`[1, 3]
Instance details Defined in Prettyprinter.Internal Methods pretty :: Maybe a -> Doc ann # prettyList :: [Maybe a] -> Doc ann #
Pretty a => Pretty [a] #	`>>>` `pretty [1,2,3]`[1, 2, 3]
Instance details Defined in Prettyprinter.Internal Methods pretty :: [a] -> Doc ann # prettyList :: [[a]] -> Doc ann #
Pretty (DimAccess rep) Source #
Instance details Defined in Futhark.Analysis.AccessPattern Methods pretty :: DimAccess rep -> Doc ann # prettyList :: [DimAccess rep] -> Doc ann #
Pretty (IndexTable rep) Source #
Instance details Defined in Futhark.Analysis.AccessPattern Methods pretty :: IndexTable rep -> Doc ann # prettyList :: [IndexTable rep] -> Doc ann #
(PrettyRep rep, Pretty (op rep)) => Pretty (HostOp op rep) Source #
Instance details Defined in Futhark.IR.GPU.Op Methods pretty :: HostOp op rep -> Doc ann # prettyList :: [HostOp op rep] -> Doc ann #
(PrettyRep rep, Pretty (op rep)) => Pretty (MCOp op rep) Source #
Instance details Defined in Futhark.IR.MC.Op Methods pretty :: MCOp op rep -> Doc ann # prettyList :: [MCOp op rep] -> Doc ann #
Pretty (inner rep) => Pretty (MemOp inner rep) Source #
Instance details Defined in Futhark.IR.Mem Methods pretty :: MemOp inner rep -> Doc ann # prettyList :: [MemOp inner rep] -> Doc ann #
Pretty (NoOp rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: NoOp rep -> Doc ann # prettyList :: [NoOp rep] -> Doc ann #
(PrettyRep rep, Pretty lvl) => Pretty (SegOp lvl rep) Source #
Instance details Defined in Futhark.IR.SegOp Methods pretty :: SegOp lvl rep -> Doc ann # prettyList :: [SegOp lvl rep] -> Doc ann #
(PrettyRep rep, Pretty t) => Pretty (GLambda rep t) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: GLambda rep t -> Doc ann # prettyList :: [GLambda rep t] -> Doc ann #
Pretty o => Pretty (TypeBase ExtShape o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase ExtShape o -> Doc ann # prettyList :: [TypeBase ExtShape o] -> Doc ann #
Pretty o => Pretty (TypeBase Rank o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Rank o -> Doc ann # prettyList :: [TypeBase Rank o] -> Doc ann #
Pretty o => Pretty (TypeBase Shape o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Shape o -> Doc ann # prettyList :: [TypeBase Shape o] -> Doc ann #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
(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 #
Pretty (LspId m) #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods pretty :: LspId m -> Doc ann # prettyList :: [LspId m] -> Doc ann #
Pretty (TRegistration m) #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods pretty :: TRegistration m -> Doc ann # prettyList :: [TRegistration m] -> Doc ann #
Pretty (TUnregistration m) #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods pretty :: TUnregistration m -> Doc ann # prettyList :: [TUnregistration m] -> Doc ann #
ToJSON (MessageParams m) => Pretty (TNotificationMessage m) #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TNotificationMessage m -> Doc ann # prettyList :: [TNotificationMessage m] -> Doc ann #
ToJSON (MessageParams m) => Pretty (TRequestMessage m) #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TRequestMessage m -> Doc ann # prettyList :: [TRequestMessage m] -> Doc ann #
ToJSON (ErrorData m) => Pretty (TResponseError m) #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TResponseError m -> Doc ann # prettyList :: [TResponseError m] -> Doc ann #
(ToJSON (MessageResult m), ToJSON (ErrorData m)) => Pretty (TResponseMessage m) #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TResponseMessage m -> Doc ann # prettyList :: [TResponseMessage m] -> Doc ann #
(ToJSON a, ToJSON b) => Pretty (a \|? b) #
Instance details Defined in Language.LSP.Protocol.Types.Common Methods pretty :: (a \|? b) -> Doc ann # prettyList :: [a \|? b] -> Doc ann #
(Pretty a1, Pretty a2) => Pretty (a1, a2) #	`>>>` `pretty (123, "hello")`(123, hello)
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2) -> Doc ann # prettyList :: [(a1, a2)] -> Doc ann #
Pretty v => Pretty (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods pretty :: TPrimExp t v -> Doc ann # prettyList :: [TPrimExp t v] -> Doc ann #
Pretty e => Pretty (Count u e) Source #
Instance details Defined in Futhark.IR.GPU.Sizes Methods pretty :: Count u e -> Doc ann # prettyList :: [Count u e] -> Doc ann #
(Pretty (ShapeBase d), Pretty (TypeBase (ShapeBase d) o), Pretty d, Pretty o, Pretty ret) => Pretty (MemInfo d o ret) Source #
Instance details Defined in Futhark.IR.Mem Methods pretty :: MemInfo d o ret -> Doc ann # prettyList :: [MemInfo d o ret] -> Doc ann #
(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 #
Pretty a => Pretty (Const a b) #
Instance details Defined in Prettyprinter.Internal Methods pretty :: Const a b -> Doc ann # prettyList :: [Const a b] -> Doc ann #
Pretty (SMethod m) #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods pretty :: SMethod m -> Doc ann # prettyList :: [SMethod m] -> Doc ann #
KnownSymbol s => Pretty (TCustomMessage s f t) #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TCustomMessage s f t -> Doc ann # prettyList :: [TCustomMessage s f t] -> Doc ann #
(Pretty a1, Pretty a2, Pretty a3) => Pretty (a1, a2, a3) #	`>>>` `pretty (123, "hello", False)`(123, hello, False)
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2, a3) -> Doc ann # prettyList :: [(a1, a2, a3)] -> Doc ann #
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 #
(Pretty a1, Pretty a2, Pretty a3, Pretty a4) => Pretty (a1, a2, a3, a4) #	`>>>` `pretty (123, "hello", False, ())`(123, hello, False, ()) Since: prettyprinter-1.7.2
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2, a3, a4) -> Doc ann # prettyList :: [(a1, a2, a3, a4)] -> Doc ann #
(Pretty a1, Pretty a2, Pretty a3, Pretty a4, Pretty a5) => Pretty (a1, a2, a3, a4, a5) #	`>>>` `pretty (123, "hello", False, (), 3.14)`(123, hello, False, (), 3.14) Since: prettyprinter-1.7.2
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2, a3, a4, a5) -> Doc ann # prettyList :: [(a1, a2, a3, a4, a5)] -> Doc ann #
(Pretty a1, Pretty a2, Pretty a3, Pretty a4, Pretty a5, Pretty a6) => Pretty (a1, a2, a3, a4, a5, a6) #	`>>>` `pretty (123, "hello", False, (), 3.14, Just 2.71)`(123, hello, False, (), 3.14, 2.71) Since: prettyprinter-1.7.2
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2, a3, a4, a5, a6) -> Doc ann # prettyList :: [(a1, a2, a3, a4, a5, a6)] -> Doc ann #
(Pretty a1, Pretty a2, Pretty a3, Pretty a4, Pretty a5, Pretty a6, Pretty a7) => Pretty (a1, a2, a3, a4, a5, a6, a7) #	`>>>` `pretty (123, "hello", False, (), 3.14, Just 2.71, [1,2,3])`(123, hello, False, (), 3.14, 2.71, [1, 2, 3]) Since: prettyprinter-1.7.2
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2, a3, a4, a5, a6, a7) -> Doc ann # prettyList :: [(a1, a2, a3, a4, a5, a6, a7)] -> Doc ann #

module Futhark.IR.Rep

module Futhark.IR.Syntax.Core

Types

data Diet Source #

Information about which parts of a value/type are consumed. For example, we might say that a function taking three arguments of types ([int], *[int], [int]) has diet [Observe, Consume, Observe].

Constructors

Observe	Only observes the value in this position, does not consume it.
Consume	Consumes the value in this position.

Instances

Instances details

DeclTyped DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declTypeOf :: DeclType -> DeclType Source #
ExtTyped DeclExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods extTypeOf :: DeclExtType -> ExtType Source #
Typed DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: DeclType -> Type Source #
Monoid Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods mempty :: Diet # mappend :: Diet -> Diet -> Diet # mconcat :: [Diet] -> Diet #
Semigroup Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (<>) :: Diet -> Diet -> Diet # sconcat :: NonEmpty Diet -> Diet # stimes :: Integral b => b -> Diet -> Diet #
Bounded Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods minBound :: Diet # maxBound :: Diet #
Show Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> Diet -> ShowS # show :: Diet -> String # showList :: [Diet] -> ShowS #
Eq Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: Diet -> Diet -> Bool # (/=) :: Diet -> Diet -> Bool #
Ord Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core 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 Futhark.IR.Pretty Methods pretty :: Diet -> Doc ann # prettyList :: [Diet] -> Doc ann #
DeclTyped (MemInfo SubExp Diet ret) Source #
Instance details Defined in Futhark.IR.Mem Methods declTypeOf :: MemInfo SubExp Diet ret -> DeclType Source #
Typed (MemInfo SubExp Diet ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp Diet ret -> Type Source #

data NoMode Source #

A fancier name for () - the mode of a type that has none. Also has a different prettyprinting instance.

Constructors

NoMode

Instances

Instances details

HasLetDecMem LetDecMem Source #
Instance details Defined in Futhark.IR.Mem Methods letDecMem :: LetDecMem -> LetDecMem Source #
ExtTyped ExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods extTypeOf :: ExtType -> ExtType Source #
Typed Type Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: Type -> Type Source #
IsBodyType BodyReturns Source #
Instance details Defined in Futhark.IR.Mem Methods primBodyType :: PrimType -> BodyReturns Source #
IsBodyType ExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primBodyType :: PrimType -> ExtType Source #
IsRetType FunReturns Source #
Instance details Defined in Futhark.IR.Mem Methods primRetType :: PrimType -> FunReturns Source # applyRetType :: Typed dec => [FunReturns] -> [Param dec] -> [(SubExp, Type)] -> Maybe [FunReturns] Source #
IsRetType ExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primRetType :: PrimType -> ExtType Source # applyRetType :: Typed dec => [ExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [ExtType] Source #
ASTMappable StructType Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> StructType -> m StructType Source #
Substitutable StructType Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> StructType -> StructType Source #
Monoid NoMode Source #
Instance details Defined in Language.Futhark.Core Methods mempty :: NoMode # mappend :: NoMode -> NoMode -> NoMode # mconcat :: [NoMode] -> NoMode #
Semigroup NoMode Source #
Instance details Defined in Language.Futhark.Core Methods (<>) :: NoMode -> NoMode -> NoMode # sconcat :: NonEmpty NoMode -> NoMode # stimes :: Integral b => b -> NoMode -> NoMode #
Show NoMode Source #
Instance details Defined in Language.Futhark.Core Methods showsPrec :: Int -> NoMode -> ShowS # show :: NoMode -> String # showList :: [NoMode] -> ShowS #
Eq NoMode Source #
Instance details Defined in Language.Futhark.Core Methods (==) :: NoMode -> NoMode -> Bool # (/=) :: NoMode -> NoMode -> Bool #
Ord NoMode Source #
Instance details Defined in Language.Futhark.Core Methods compare :: NoMode -> NoMode -> Ordering # (<) :: NoMode -> NoMode -> Bool # (<=) :: NoMode -> NoMode -> Bool # (>) :: NoMode -> NoMode -> Bool # (>=) :: NoMode -> NoMode -> Bool # max :: NoMode -> NoMode -> NoMode # min :: NoMode -> NoMode -> NoMode #
Pretty NoMode Source #
Instance details Defined in Language.Futhark.Core Methods pretty :: NoMode -> Doc ann # prettyList :: [NoMode] -> Doc ann #
Scoped rep (Lambda rep) Source #
Instance details Defined in Futhark.IR.Prop.Scope Methods scopeOf :: Lambda rep -> Scope rep Source #
Simplifiable [FunReturns] Source #
Instance details Defined in Futhark.IR.Mem Methods simplify :: SimplifiableRep rep => [FunReturns] -> SimpleM rep [FunReturns] Source #
Substitutable (Pat StructType) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #
Substitutable (RetTypeBase Size NoMode) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> RetTypeBase Size NoMode -> RetTypeBase Size NoMode Source #
FixExt ret => ExtTyped (MemInfo ExtSize NoMode ret) Source #
Instance details Defined in Futhark.IR.Mem Methods extTypeOf :: MemInfo ExtSize NoMode ret -> ExtType Source #
Typed (MemInfo SubExp NoMode ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp NoMode ret -> Type 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 #

newtype Rank Source #

The size of an array type as merely the number of dimensions, with no further information.

Constructors

Rank Int

Instances

Instances details

ArrayShape Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: Rank -> Int Source #
Rename Rank Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Rank -> RenameM Rank Source #
Substitute Rank Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Rank -> Rank Source #
Monoid Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods mempty :: Rank # mappend :: Rank -> Rank -> Rank # mconcat :: [Rank] -> Rank #
Semigroup Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (<>) :: Rank -> Rank -> Rank # sconcat :: NonEmpty Rank -> Rank # stimes :: Integral b => b -> Rank -> Rank #
Show Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> Rank -> ShowS # show :: Rank -> String # showList :: [Rank] -> ShowS #
Eq Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: Rank -> Rank -> Bool # (/=) :: Rank -> Rank -> Bool #
Ord Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods compare :: Rank -> Rank -> Ordering # (<) :: Rank -> Rank -> Bool # (<=) :: Rank -> Rank -> Bool # (>) :: Rank -> Rank -> Bool # (>=) :: Rank -> Rank -> Bool # max :: Rank -> Rank -> Rank # min :: Rank -> Rank -> Rank #
Pretty Rank Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Rank -> Doc ann # prettyList :: [Rank] -> Doc ann #
Pretty o => Pretty (TypeBase Rank o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Rank o -> Doc ann # prettyList :: [TypeBase Rank o] -> Doc ann #

class Monoid a => ArrayShape a where Source #

A class encompassing types containing array shape information.

Methods

shapeRank :: a -> Int Source #

Return the rank of an array with the given size.

Instances

Instances details

ArrayShape Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: Rank -> Int Source #
ArrayShape (ShapeBase a) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: ShapeBase a -> Int Source #

data Space Source #

The memory space of a block. If DefaultSpace, this is the "default" space, whatever that is. The exact meaning of the SpaceId depends on the backend used. In GPU kernels, for example, this is used to distinguish between constant, global and shared memory spaces. In GPU-enabled host code, it is used to distinguish between host memory (DefaultSpace) and GPU space.

Constructors

DefaultSpace
Space SpaceId
ScalarSpace [SubExp] PrimType	A special kind of memory that is a statically sized array of some primitive type. Used for private memory on GPUs.

Instances

Instances details

FreeIn Space Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Space -> FV Source #
Simplifiable Space Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods simplify :: SimplifiableRep rep => Space -> SimpleM rep Space Source #
Show Space Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> Space -> ShowS # show :: Space -> String # showList :: [Space] -> ShowS #
Eq Space Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: Space -> Space -> Bool # (/=) :: Space -> Space -> Bool #
Ord Space Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods compare :: Space -> Space -> Ordering # (<) :: Space -> Space -> Bool # (<=) :: Space -> Space -> Bool # (>) :: Space -> Space -> Bool # (>=) :: Space -> Space -> Bool # max :: Space -> Space -> Space # min :: Space -> Space -> Space #
Pretty Space Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Space -> Doc ann # prettyList :: [Space] -> Doc ann #

data TypeBase shape o Source #

The type of a value. When comparing types for equality with ==, shapes must match. The o parameter is the mode; denoting based on context how the values of the type may be used. In the IR it is Diet or NoMode, although we still use the term "fresh" to denote a value with no aliases.

Constructors

Prim PrimType
Acc VName Shape [Type]	Token, index space, and element type. Accumulators carry no mode: every use of an accumulator consumes it (`diet` is unconditionally `Consume`), so there is no way for a function to merely observe one.
Array PrimType shape o
Mem Space

Instances

Instances details

Bifoldable TypeBase Source #
Instance details Defined in Futhark.IR.Syntax.Core 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 Futhark.IR.Syntax.Core 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 Futhark.IR.Syntax.Core Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> TypeBase a b -> f (TypeBase c d) #
DeclTyped DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declTypeOf :: DeclType -> DeclType Source #
ExtTyped DeclExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods extTypeOf :: DeclExtType -> ExtType Source #
ExtTyped ExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods extTypeOf :: ExtType -> ExtType Source #
Typed DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: DeclType -> Type Source #
Typed Type Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: Type -> Type Source #
IsBodyType ExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primBodyType :: PrimType -> ExtType Source #
IsRetType ExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primRetType :: PrimType -> ExtType Source # applyRetType :: Typed dec => [ExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [ExtType] Source #
Scoped rep (Lambda rep) Source #
Instance details Defined in Futhark.IR.Prop.Scope Methods scopeOf :: Lambda rep -> Scope rep Source #
Functor (TypeBase shape) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods fmap :: (a -> b) -> TypeBase shape a -> TypeBase shape b # (<$) :: a -> TypeBase shape b -> TypeBase shape a #
Foldable (TypeBase shape) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods fold :: Monoid m => TypeBase shape m -> m # foldMap :: Monoid m => (a -> m) -> TypeBase shape a -> m # foldMap' :: Monoid m => (a -> m) -> TypeBase shape a -> m # foldr :: (a -> b -> b) -> b -> TypeBase shape a -> b # foldr' :: (a -> b -> b) -> b -> TypeBase shape a -> b # foldl :: (b -> a -> b) -> b -> TypeBase shape a -> b # foldl' :: (b -> a -> b) -> b -> TypeBase shape a -> b # foldr1 :: (a -> a -> a) -> TypeBase shape a -> a # foldl1 :: (a -> a -> a) -> TypeBase shape a -> a # toList :: TypeBase shape a -> [a] # null :: TypeBase shape a -> Bool # length :: TypeBase shape a -> Int # elem :: Eq a => a -> TypeBase shape a -> Bool # maximum :: Ord a => TypeBase shape a -> a # minimum :: Ord a => TypeBase shape a -> a # sum :: Num a => TypeBase shape a -> a # product :: Num a => TypeBase shape a -> a #
Traversable (TypeBase shape) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods traverse :: Applicative f => (a -> f b) -> TypeBase shape a -> f (TypeBase shape b) # sequenceA :: Applicative f => TypeBase shape (f a) -> f (TypeBase shape a) # mapM :: Monad m => (a -> m b) -> TypeBase shape a -> m (TypeBase shape b) # sequence :: Monad m => TypeBase shape (m a) -> m (TypeBase shape a) #
FreeIn shape => FreeIn (TypeBase shape o) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: TypeBase shape o -> FV Source #
(FixExt shape, ArrayShape shape) => FixExt (TypeBase shape o) Source #
Instance details Defined in Futhark.IR.Prop.Types Methods fixExt :: Int -> SubExp -> TypeBase shape o -> TypeBase shape o Source # mapExt :: (Int -> Int) -> TypeBase shape o -> TypeBase shape o Source #
Simplifiable shape => Simplifiable (TypeBase shape o) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods simplify :: SimplifiableRep rep => TypeBase shape o -> SimpleM rep (TypeBase shape o) Source #
Rename shape => Rename (TypeBase shape o) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: TypeBase shape o -> RenameM (TypeBase shape o) Source #
Substitute shape => Substitute (TypeBase shape o) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> TypeBase shape o -> TypeBase shape o Source #
(Show shape, Show o) => Show (TypeBase shape o) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> TypeBase shape o -> ShowS # show :: TypeBase shape o -> String # showList :: [TypeBase shape o] -> ShowS #
(Eq shape, Eq o) => Eq (TypeBase shape o) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: TypeBase shape o -> TypeBase shape o -> Bool # (/=) :: TypeBase shape o -> TypeBase shape o -> Bool #
(Ord shape, Ord o) => Ord (TypeBase shape o) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods compare :: TypeBase shape o -> TypeBase shape o -> Ordering # (<) :: TypeBase shape o -> TypeBase shape o -> Bool # (<=) :: TypeBase shape o -> TypeBase shape o -> Bool # (>) :: TypeBase shape o -> TypeBase shape o -> Bool # (>=) :: TypeBase shape o -> TypeBase shape o -> Bool # max :: TypeBase shape o -> TypeBase shape o -> TypeBase shape o # min :: TypeBase shape o -> TypeBase shape o -> TypeBase shape o #
Pretty o => Pretty (TypeBase ExtShape o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase ExtShape o -> Doc ann # prettyList :: [TypeBase ExtShape o] -> Doc ann #
Pretty o => Pretty (TypeBase Rank o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Rank o -> Doc ann # prettyList :: [TypeBase Rank o] -> Doc ann #
Pretty o => Pretty (TypeBase Shape o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Shape o -> Doc ann # prettyList :: [TypeBase Shape o] -> Doc ann #

data Diet Source #

Information about which parts of a value/type are consumed. For example, we might say that a function taking three arguments of types ([int], *[int], [int]) has diet [Observe, Consume, Observe].

Constructors

Observe	Only observes the value in this position, does not consume it.
Consume	Consumes the value in this position.

Instances

Instances details

DeclTyped DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declTypeOf :: DeclType -> DeclType Source #
ExtTyped DeclExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods extTypeOf :: DeclExtType -> ExtType Source #
Typed DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: DeclType -> Type Source #
Monoid Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods mempty :: Diet # mappend :: Diet -> Diet -> Diet # mconcat :: [Diet] -> Diet #
Semigroup Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (<>) :: Diet -> Diet -> Diet # sconcat :: NonEmpty Diet -> Diet # stimes :: Integral b => b -> Diet -> Diet #
Bounded Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods minBound :: Diet # maxBound :: Diet #
Show Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> Diet -> ShowS # show :: Diet -> String # showList :: [Diet] -> ShowS #
Eq Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: Diet -> Diet -> Bool # (/=) :: Diet -> Diet -> Bool #
Ord Diet Source #
Instance details Defined in Futhark.IR.Syntax.Core 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 Futhark.IR.Pretty Methods pretty :: Diet -> Doc ann # prettyList :: [Diet] -> Doc ann #
DeclTyped (MemInfo SubExp Diet ret) Source #
Instance details Defined in Futhark.IR.Mem Methods declTypeOf :: MemInfo SubExp Diet ret -> DeclType Source #
Typed (MemInfo SubExp Diet ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp Diet ret -> Type Source #

Abstract syntax tree

data Ident Source #

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

Constructors

Ident
Fields identName :: VName identType :: Type

Instances

Instances details

FreeIn Ident Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Ident -> FV Source #
Typed Ident Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: Ident -> Type Source #
Rename Ident Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Ident -> RenameM Ident Source #
Substitute Ident Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Ident -> Ident Source #
Show Ident Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Eq Ident Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Ord Ident Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods compare :: Ident -> Ident -> Ordering # (<) :: Ident -> Ident -> Bool # (<=) :: Ident -> Ident -> Bool # (>) :: Ident -> Ident -> Bool # (>=) :: Ident -> Ident -> Bool # max :: Ident -> Ident -> Ident # min :: Ident -> Ident -> Ident #
Pretty Ident Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Ident -> Doc ann # prettyList :: [Ident] -> Doc ann #

data SubExp Source #

A subexpression is either a scalar constant or a variable. One important property is that evaluation of a subexpression is guaranteed to complete in constant time.

Constructors

Constant PrimValue
Var VName

Instances

Instances details

ToExp SubExp Source #
Instance details Defined in Futhark.CodeGen.ImpGen Methods toExp :: SubExp -> ImpM rep r op Exp Source # toExp' :: PrimType -> SubExp -> Exp Source #
ToExp SubExp Source #
Instance details Defined in Futhark.Construct Methods toExp :: MonadBuilder m => SubExp -> m (Exp (Rep m)) Source #
HasLetDecMem LetDecMem Source #
Instance details Defined in Futhark.IR.Mem Methods letDecMem :: LetDecMem -> LetDecMem Source #
FreeIn SubExp Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: SubExp -> FV Source #
DeclTyped DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declTypeOf :: DeclType -> DeclType Source #
ExtTyped DeclExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods extTypeOf :: DeclExtType -> ExtType Source #
ExtTyped ExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods extTypeOf :: ExtType -> ExtType Source #
FixExt ExtSize Source #
Instance details Defined in Futhark.IR.Prop.Types Methods fixExt :: Int -> SubExp -> ExtSize -> ExtSize Source # mapExt :: (Int -> Int) -> ExtSize -> ExtSize Source #
Typed DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: DeclType -> Type Source #
Typed Type Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: Type -> Type Source #
IsBodyType BodyReturns Source #
Instance details Defined in Futhark.IR.Mem Methods primBodyType :: PrimType -> BodyReturns Source #
IsBodyType ExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primBodyType :: PrimType -> ExtType Source #
IsRetType FunReturns Source #
Instance details Defined in Futhark.IR.Mem Methods primRetType :: PrimType -> FunReturns Source # applyRetType :: Typed dec => [FunReturns] -> [Param dec] -> [(SubExp, Type)] -> Maybe [FunReturns] Source #
IsRetType ExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primRetType :: PrimType -> ExtType Source # applyRetType :: Typed dec => [ExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [ExtType] Source #
Simplifiable ExtSize Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods simplify :: SimplifiableRep rep => ExtSize -> SimpleM rep ExtSize Source #
Simplifiable SubExp Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods simplify :: SimplifiableRep rep => SubExp -> SimpleM rep SubExp Source #
Rename ExtSize Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: ExtSize -> RenameM ExtSize Source #
Rename SubExp Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: SubExp -> RenameM SubExp Source #
Substitute SubExp Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> SubExp -> SubExp Source #
Show SubExp Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> SubExp -> ShowS # show :: SubExp -> String # showList :: [SubExp] -> ShowS #
Eq SubExp Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: SubExp -> SubExp -> Bool # (/=) :: SubExp -> SubExp -> Bool #
Ord SubExp Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods compare :: SubExp -> SubExp -> Ordering # (<) :: SubExp -> SubExp -> Bool # (<=) :: SubExp -> SubExp -> Bool # (>) :: SubExp -> SubExp -> Bool # (>=) :: SubExp -> SubExp -> Bool # max :: SubExp -> SubExp -> SubExp # min :: SubExp -> SubExp -> SubExp #
ToExp SubExp Source #
Instance details Defined in Futhark.CodeGen.Backends.SimpleRep Methods toExp :: SubExp -> SrcLoc -> Exp #
Pretty SubExp Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: SubExp -> Doc ann # prettyList :: [SubExp] -> Doc ann #
Scoped rep (Lambda rep) Source #
Instance details Defined in Futhark.IR.Prop.Scope Methods scopeOf :: Lambda rep -> Scope rep Source #
Simplifiable [FunReturns] Source #
Instance details Defined in Futhark.IR.Mem Methods simplify :: SimplifiableRep rep => [FunReturns] -> SimpleM rep [FunReturns] Source #
Pretty o => Pretty (TypeBase ExtShape o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase ExtShape o -> Doc ann # prettyList :: [TypeBase ExtShape o] -> Doc ann #
Pretty o => Pretty (TypeBase Shape o) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Shape o -> Doc ann # prettyList :: [TypeBase Shape o] -> Doc ann #
DeclTyped (MemInfo SubExp Diet ret) Source #
Instance details Defined in Futhark.IR.Mem Methods declTypeOf :: MemInfo SubExp Diet ret -> DeclType Source #
FixExt ret => ExtTyped (MemInfo ExtSize NoMode ret) Source #
Instance details Defined in Futhark.IR.Mem Methods extTypeOf :: MemInfo ExtSize NoMode ret -> ExtType Source #
FixExt ret => FixExt (MemInfo ExtSize o ret) Source #
Instance details Defined in Futhark.IR.Mem Methods fixExt :: Int -> SubExp -> MemInfo ExtSize o ret -> MemInfo ExtSize o ret Source # mapExt :: (Int -> Int) -> MemInfo ExtSize o ret -> MemInfo ExtSize o ret Source #
Typed (MemInfo SubExp Diet ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp Diet ret -> Type Source #
Typed (MemInfo SubExp NoMode ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp NoMode ret -> Type Source #

data PatElem dec Source #

An element of a pattern - consisting of a name and an addditional parametric decoration. This decoration is what is expected to contain the type of the resulting variable.

Constructors

PatElem
Fields patElemName :: VName The name being bound. patElemDec :: dec Pat element decoration.

Instances

Instances details

Functor PatElem Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods fmap :: (a -> b) -> PatElem a -> PatElem b # (<$) :: a -> PatElem b -> PatElem a #
Foldable PatElem Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods fold :: Monoid m => PatElem m -> m # foldMap :: Monoid m => (a -> m) -> PatElem a -> m # foldMap' :: Monoid m => (a -> m) -> PatElem a -> m # foldr :: (a -> b -> b) -> b -> PatElem a -> b # foldr' :: (a -> b -> b) -> b -> PatElem a -> b # foldl :: (b -> a -> b) -> b -> PatElem a -> b # foldl' :: (b -> a -> b) -> b -> PatElem a -> b # foldr1 :: (a -> a -> a) -> PatElem a -> a # foldl1 :: (a -> a -> a) -> PatElem a -> a # toList :: PatElem a -> [a] # null :: PatElem a -> Bool # length :: PatElem a -> Int # elem :: Eq a => a -> PatElem a -> Bool # maximum :: Ord a => PatElem a -> a # minimum :: Ord a => PatElem a -> a # sum :: Num a => PatElem a -> a # product :: Num a => PatElem a -> a #
Traversable PatElem Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods traverse :: Applicative f => (a -> f b) -> PatElem a -> f (PatElem b) # sequenceA :: Applicative f => PatElem (f a) -> f (PatElem a) # mapM :: Monad m => (a -> m b) -> PatElem a -> m (PatElem b) # sequence :: Monad m => PatElem (m a) -> m (PatElem a) #
AliasesOf dec => AliasesOf (PatElem dec) Source #
Instance details Defined in Futhark.IR.Prop.Aliases Methods aliasesOf :: PatElem dec -> Names Source #
FreeIn dec => FreeIn (PatElem dec) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: PatElem dec -> FV Source #
Typed dec => Typed (PatElem dec) Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: PatElem dec -> Type Source #
Rename dec => Rename (PatElem dec) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: PatElem dec -> RenameM (PatElem dec) Source #
Substitute dec => Substitute (PatElem dec) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> PatElem dec -> PatElem dec Source #
Show dec => Show (PatElem dec) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> PatElem dec -> ShowS # show :: PatElem dec -> String # showList :: [PatElem dec] -> ShowS #
Eq dec => Eq (PatElem dec) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: PatElem dec -> PatElem dec -> Bool # (/=) :: PatElem dec -> PatElem dec -> Bool #
Ord dec => Ord (PatElem dec) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods compare :: PatElem dec -> PatElem dec -> Ordering # (<) :: PatElem dec -> PatElem dec -> Bool # (<=) :: PatElem dec -> PatElem dec -> Bool # (>) :: PatElem dec -> PatElem dec -> Bool # (>=) :: PatElem dec -> PatElem dec -> Bool # max :: PatElem dec -> PatElem dec -> PatElem dec # min :: PatElem dec -> PatElem dec -> PatElem dec #
Pretty t => Pretty (PatElem t) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: PatElem t -> Doc ann # prettyList :: [PatElem t] -> Doc ann #

newtype Pat dec Source #

A pattern is conceptually just a list of names and their types.

Constructors

Pat
Fields patElems :: [PatElem dec]

Instances

Instances details

Functor Pat Source #
Instance details Defined in Futhark.IR.Syntax Methods fmap :: (a -> b) -> Pat a -> Pat b # (<$) :: a -> Pat b -> Pat a #
Foldable Pat Source #
Instance details Defined in Futhark.IR.Syntax Methods fold :: Monoid m => Pat m -> m # foldMap :: Monoid m => (a -> m) -> Pat a -> m # foldMap' :: Monoid m => (a -> m) -> Pat a -> m # foldr :: (a -> b -> b) -> b -> Pat a -> b # foldr' :: (a -> b -> b) -> b -> Pat a -> b # foldl :: (b -> a -> b) -> b -> Pat a -> b # foldl' :: (b -> a -> b) -> b -> Pat a -> b # foldr1 :: (a -> a -> a) -> Pat a -> a # foldl1 :: (a -> a -> a) -> Pat a -> a # toList :: Pat a -> [a] # null :: Pat a -> Bool # length :: Pat a -> Int # elem :: Eq a => a -> Pat a -> Bool # maximum :: Ord a => Pat a -> a # minimum :: Ord a => Pat a -> a # sum :: Num a => Pat a -> a # product :: Num a => Pat a -> a #
Traversable Pat Source #
Instance details Defined in Futhark.IR.Syntax Methods traverse :: Applicative f => (a -> f b) -> Pat a -> f (Pat b) # sequenceA :: Applicative f => Pat (f a) -> f (Pat a) # mapM :: Monad m => (a -> m b) -> Pat a -> m (Pat b) # sequence :: Monad m => Pat (m a) -> m (Pat a) #
FreeIn dec => FreeIn (Pat dec) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Pat dec -> FV Source #
Rename dec => Rename (Pat dec) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Pat dec -> RenameM (Pat dec) Source #
Substitute dec => Substitute (Pat dec) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Pat dec -> Pat dec Source #
Monoid (Pat dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods mempty :: Pat dec # mappend :: Pat dec -> Pat dec -> Pat dec # mconcat :: [Pat dec] -> Pat dec #
Semigroup (Pat dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods (<>) :: Pat dec -> Pat dec -> Pat dec # sconcat :: NonEmpty (Pat dec) -> Pat dec # stimes :: Integral b => b -> Pat dec -> Pat dec #
Show dec => Show (Pat dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> Pat dec -> ShowS # show :: Pat dec -> String # showList :: [Pat dec] -> ShowS #
Eq dec => Eq (Pat dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: Pat dec -> Pat dec -> Bool # (/=) :: Pat dec -> Pat dec -> Bool #
Ord dec => Ord (Pat dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: Pat dec -> Pat dec -> Ordering # (<) :: Pat dec -> Pat dec -> Bool # (<=) :: Pat dec -> Pat dec -> Bool # (>) :: Pat dec -> Pat dec -> Bool # (>=) :: Pat dec -> Pat dec -> Bool # max :: Pat dec -> Pat dec -> Pat dec # min :: Pat dec -> Pat dec -> Pat dec #
Pretty t => Pretty (Pat t) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Pat t -> Doc ann # prettyList :: [Pat t] -> Doc ann #

data StmAux dec Source #

Auxilliary Information associated with a statement.

Constructors

StmAux
Fields stmAuxCerts :: !Certs stmAuxAttrs :: Attrs stmAuxLoc :: Provenance stmAuxDec :: dec

Instances

Instances details

Functor StmAux Source #
Instance details Defined in Futhark.IR.Syntax Methods fmap :: (a -> b) -> StmAux a -> StmAux b # (<$) :: a -> StmAux b -> StmAux a #
Foldable StmAux Source #
Instance details Defined in Futhark.IR.Syntax Methods fold :: Monoid m => StmAux m -> m # foldMap :: Monoid m => (a -> m) -> StmAux a -> m # foldMap' :: Monoid m => (a -> m) -> StmAux a -> m # foldr :: (a -> b -> b) -> b -> StmAux a -> b # foldr' :: (a -> b -> b) -> b -> StmAux a -> b # foldl :: (b -> a -> b) -> b -> StmAux a -> b # foldl' :: (b -> a -> b) -> b -> StmAux a -> b # foldr1 :: (a -> a -> a) -> StmAux a -> a # foldl1 :: (a -> a -> a) -> StmAux a -> a # toList :: StmAux a -> [a] # null :: StmAux a -> Bool # length :: StmAux a -> Int # elem :: Eq a => a -> StmAux a -> Bool # maximum :: Ord a => StmAux a -> a # minimum :: Ord a => StmAux a -> a # sum :: Num a => StmAux a -> a # product :: Num a => StmAux a -> a #
Traversable StmAux Source #
Instance details Defined in Futhark.IR.Syntax Methods traverse :: Applicative f => (a -> f b) -> StmAux a -> f (StmAux b) # sequenceA :: Applicative f => StmAux (f a) -> f (StmAux a) # mapM :: Monad m => (a -> m b) -> StmAux a -> m (StmAux b) # sequence :: Monad m => StmAux (m a) -> m (StmAux a) #
FreeIn dec => FreeIn (StmAux dec) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: StmAux dec -> FV Source #
Rename dec => Rename (StmAux dec) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: StmAux dec -> RenameM (StmAux dec) Source #
Substitute dec => Substitute (StmAux dec) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> StmAux dec -> StmAux dec Source #
Monoid dec => Monoid (StmAux dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods mempty :: StmAux dec # mappend :: StmAux dec -> StmAux dec -> StmAux dec # mconcat :: [StmAux dec] -> StmAux dec #
Semigroup dec => Semigroup (StmAux dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods (<>) :: StmAux dec -> StmAux dec -> StmAux dec # sconcat :: NonEmpty (StmAux dec) -> StmAux dec # stimes :: Integral b => b -> StmAux dec -> StmAux dec #
Show dec => Show (StmAux dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> StmAux dec -> ShowS # show :: StmAux dec -> String # showList :: [StmAux dec] -> ShowS #
Eq dec => Eq (StmAux dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: StmAux dec -> StmAux dec -> Bool # (/=) :: StmAux dec -> StmAux dec -> Bool #
Ord dec => Ord (StmAux dec) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: StmAux dec -> StmAux dec -> Ordering # (<) :: StmAux dec -> StmAux dec -> Bool # (<=) :: StmAux dec -> StmAux dec -> Bool # (>) :: StmAux dec -> StmAux dec -> Bool # (>=) :: StmAux dec -> StmAux dec -> Bool # max :: StmAux dec -> StmAux dec -> StmAux dec # min :: StmAux dec -> StmAux dec -> StmAux dec #
Pretty dec => Pretty (StmAux dec) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: StmAux dec -> Doc ann # prettyList :: [StmAux dec] -> Doc ann #

data Stm rep Source #

A local variable binding.

Constructors

Let
Fields stmPat :: Pat (LetDec rep) Pat. stmAux :: StmAux (ExpDec rep) Auxiliary information statement. stmExp :: Exp rep Expression.

Instances

Instances details

Scoped rep (Stm rep) Source #
Instance details Defined in Futhark.IR.Prop.Scope Methods scopeOf :: Stm rep -> Scope rep Source #
Scoped rep (Stms rep) Source #
Instance details Defined in Futhark.IR.Prop.Scope Methods scopeOf :: Stms rep -> Scope rep Source #
(FreeDec (ExpDec rep), FreeDec (BodyDec rep), FreeIn (FParamInfo rep), FreeIn (LParamInfo rep), FreeIn (LetDec rep), FreeIn (RetType rep), FreeIn (BranchType rep), FreeIn (Op rep)) => FreeIn (Stm rep) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Stm rep -> FV Source #
FreeIn (Stm rep) => FreeIn (Stms rep) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Stms rep -> FV Source #
Renameable rep => Rename (Stm rep) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Stm rep -> RenameM (Stm rep) Source #
Substitutable rep => Substitute (Stm rep) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Stm rep -> Stm rep Source #
Substitute (Stm rep) => Substitute (Stms rep) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Stms rep -> Stms rep Source #
RepTypes rep => Show (Stm rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> Stm rep -> ShowS # show :: Stm rep -> String # showList :: [Stm rep] -> ShowS #
RepTypes rep => Eq (Stm rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: Stm rep -> Stm rep -> Bool # (/=) :: Stm rep -> Stm rep -> Bool #
RepTypes rep => Ord (Stm rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: Stm rep -> Stm rep -> Ordering # (<) :: Stm rep -> Stm rep -> Bool # (<=) :: Stm rep -> Stm rep -> Bool # (>) :: Stm rep -> Stm rep -> Bool # (>=) :: Stm rep -> Stm rep -> Bool # max :: Stm rep -> Stm rep -> Stm rep # min :: Stm rep -> Stm rep -> Stm rep #
PrettyRep rep => Pretty (Stm rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Stm rep -> Doc ann # prettyList :: [Stm rep] -> Doc ann #
PrettyRep rep => Pretty (Stms rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Stms rep -> Doc ann # prettyList :: [Stms rep] -> Doc ann #

type Stms rep = Seq (Stm rep) Source #

A sequence of statements.

data SubExpRes Source #

A pairing of a subexpression and some certificates.

Constructors

SubExpRes
Fields resCerts :: Certs resSubExp :: SubExp

Instances

Instances details

IsResult SubExpRes Source #
Instance details Defined in Futhark.IR.Prop Methods resAliases :: SubExpRes -> Names Source #
FreeIn SubExpRes Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: SubExpRes -> FV Source #
Simplifiable SubExpRes Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods simplify :: SimplifiableRep rep => SubExpRes -> SimpleM rep SubExpRes Source #
Rename SubExpRes Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: SubExpRes -> RenameM SubExpRes Source #
Substitute SubExpRes Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> SubExpRes -> SubExpRes Source #
Show SubExpRes Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> SubExpRes -> ShowS # show :: SubExpRes -> String # showList :: [SubExpRes] -> ShowS #
Eq SubExpRes Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: SubExpRes -> SubExpRes -> Bool # (/=) :: SubExpRes -> SubExpRes -> Bool #
Ord SubExpRes Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: SubExpRes -> SubExpRes -> Ordering # (<) :: SubExpRes -> SubExpRes -> Bool # (<=) :: SubExpRes -> SubExpRes -> Bool # (>) :: SubExpRes -> SubExpRes -> Bool # (>=) :: SubExpRes -> SubExpRes -> Bool # max :: SubExpRes -> SubExpRes -> SubExpRes # min :: SubExpRes -> SubExpRes -> SubExpRes #
Pretty SubExpRes Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: SubExpRes -> Doc ann # prettyList :: [SubExpRes] -> Doc ann #
PrettyRep rep => Pretty (Body rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Body rep -> Doc ann # prettyList :: [Body rep] -> Doc ann #
PrettyRep rep => Pretty (Case (Body rep)) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Case (Body rep) -> Doc ann # prettyList :: [Case (Body rep)] -> Doc ann #

type Result = [SubExpRes] Source #

The result of a body is a sequence of subexpressions.

data GBody rep res Source #

A generalised body consists of a sequence of statements, terminated in some kind of result.

Constructors

Body
Fields bodyDec :: BodyDec rep bodyStms :: Stms rep bodyResult :: [res]

Instances

Instances details

PrettyRep rep => Pretty (KernelBody rep) Source #
Instance details Defined in Futhark.IR.SegOp Methods pretty :: KernelBody rep -> Doc ann # prettyList :: [KernelBody rep] -> Doc ann #
PrettyRep rep => Pretty (Body rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Body rep -> Doc ann # prettyList :: [Body rep] -> Doc ann #
PrettyRep rep => Pretty (Case (Body rep)) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Case (Body rep) -> Doc ann # prettyList :: [Case (Body rep)] -> Doc ann #
(FreeDec (ExpDec rep), FreeDec (BodyDec rep), FreeIn (FParamInfo rep), FreeIn (LParamInfo rep), FreeIn (LetDec rep), FreeIn (RetType rep), FreeIn (BranchType rep), FreeIn (Op rep), FreeIn res) => FreeIn (GBody rep res) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: GBody rep res -> FV Source #
(Renameable rep, Rename res) => Rename (GBody rep res) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: GBody rep res -> RenameM (GBody rep res) Source #
(Substitutable rep, Substitute res) => Substitute (GBody rep res) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> GBody rep res -> GBody rep res Source #
(RepTypes rep, Show res) => Show (GBody rep res) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> GBody rep res -> ShowS # show :: GBody rep res -> String # showList :: [GBody rep res] -> ShowS #
(RepTypes rep, Eq res) => Eq (GBody rep res) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: GBody rep res -> GBody rep res -> Bool # (/=) :: GBody rep res -> GBody rep res -> Bool #
(RepTypes rep, Ord res) => Ord (GBody rep res) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: GBody rep res -> GBody rep res -> Ordering # (<) :: GBody rep res -> GBody rep res -> Bool # (<=) :: GBody rep res -> GBody rep res -> Bool # (>) :: GBody rep res -> GBody rep res -> Bool # (>=) :: GBody rep res -> GBody rep res -> Bool # max :: GBody rep res -> GBody rep res -> GBody rep res # min :: GBody rep res -> GBody rep res -> GBody rep res #

type Body rep = GBody rep SubExpRes Source #

A body consists of a sequence of statements, terminating in a list of result values.

data BasicOp Source #

A primitive operation that returns something of known size and does not itself contain any bindings.

Constructors

SubExp SubExp	A variable or constant.
Opaque OpaqueOp SubExp	Semantically and operationally just identity, but is invisible/impenetrable to optimisations (hopefully). This partially a hack to avoid optimisation (so, to work around compiler limitations), but is also used to implement tracing and other operations that are semantically invisible, but have some sort of effect (brrr).
ArrayLit [SubExp] Type	Array literals, e.g., `[ [1+x, 3], [2, 1+4] ]`. Second arg is the element type of the rows of the array.
ArrayVal [PrimValue] PrimType	A one-dimensional array literal that contains only constants. This is a fast-path for representing very large array literals that show up in some programs. The key rule for processing this in compiler passes is that you should never need to look at the individual elements. Has exactly the same semantics as an `ArrayLit`.
UnOp UnOp SubExp	Unary operation.
BinOp BinOp SubExp SubExp	Binary operation.
CmpOp CmpOp SubExp SubExp	Comparison - result type is always boolean.
ConvOp ConvOp SubExp	Conversion "casting".
Assert SubExp (ErrorMsg SubExp)	Turn a boolean into a certificate, halting the program with the given error message if the boolean is false. The error location comes from the provenance of the statement.
Index VName (Slice SubExp)	The certificates for bounds-checking are part of the `Stm`.
Update Safety VName (Slice SubExp) SubExp	An in-place update of the given array at the given position. Consumes the array. If `Safe`, perform a run-time bounds check and ignore the write if out of bounds (scatter-like).
FlatIndex VName (FlatSlice SubExp)
FlatUpdate VName (FlatSlice SubExp) VName
Concat Int (NonEmpty VName) SubExp	concat(0, [1] :\| [[2, 3, 4], [5, 6]], 6) = [1, 2, 3, 4, 5, 6] Concatenates the non-empty list of `VName` resulting in an array of length `SubExp`. The `Int` argument is used to specify the dimension along which the arrays are concatenated. For instance: concat(1, [[1,2], [3, 4]] :\| [[[5,6]], [[7, 8]]], 4) = [[1, 2, 5, 6], [3, 4, 7, 8]]
Manifest VName [Int]	Manifest an array with dimensions represented in the given order. The result will not alias anything.
Iota SubExp SubExp SubExp IntType	`iota(n, x, s) = [x,x+s,..,x+(n-1)*s]`. The `IntType` indicates the type of the array returned and the offset/stride arguments, but not the length argument.
Replicate Shape SubExp	`replicate([3][2],1) = [[1,1], [1,1], [1,1]]`. The result has no aliases. Copy a value by passing an empty shape.
Scratch PrimType [SubExp]	Create array of given type and shape, with undefined elements.
Reshape VName (NewShape SubExp)	1st arg is the input array, 2nd arg is new shape.
Rearrange VName [Int]	Permute the dimensions of the input array. The list of integers is a list of dimensions (0-indexed), which must be a permutation of `[0,n-1]`, where `n` is the number of dimensions in the input array.
UpdateAcc Safety VName [SubExp] [SubExp]	Update an accumulator at the given index with the given value. Consumes the accumulator and produces a new one. If `Safe`, perform a run-time bounds check and ignore the write if out of bounds (scatter-like).
UserParam Name SubExp	Value of a user-defined parameter (an implicit value provided at program startup), including a default if no value is provided.

Instances

Instances details

Show BasicOp Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> BasicOp -> ShowS # show :: BasicOp -> String # showList :: [BasicOp] -> ShowS #
Eq BasicOp Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: BasicOp -> BasicOp -> Bool # (/=) :: BasicOp -> BasicOp -> Bool #
Ord BasicOp Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: BasicOp -> BasicOp -> Ordering # (<) :: BasicOp -> BasicOp -> Bool # (<=) :: BasicOp -> BasicOp -> Bool # (>) :: BasicOp -> BasicOp -> Bool # (>=) :: BasicOp -> BasicOp -> Bool # max :: BasicOp -> BasicOp -> BasicOp # min :: BasicOp -> BasicOp -> BasicOp #
Pretty BasicOp Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: BasicOp -> Doc ann # prettyList :: [BasicOp] -> Doc ann #

data UnOp Source #

Various unary operators. It is a bit ad-hoc what is a unary operator and what is a built-in function. Perhaps these should all go away eventually.

Constructors

Neg PrimType	Flip sign. Logical negation for booleans.
Complement IntType	E.g., `~(~1) = 1`.
Abs IntType	`abs(-2) = 2`.
FAbs FloatType	`fabs(-2.0) = 2.0`.
SSignum IntType	Signed sign function: `ssignum(-2)` = -1.
USignum IntType	Unsigned sign function: `usignum(2)` = 1.
FSignum FloatType	Floating-point sign function.

Instances

Instances details

Show UnOp Source #
Instance details Defined in Language.Futhark.Primitive Methods showsPrec :: Int -> UnOp -> ShowS # show :: UnOp -> String # showList :: [UnOp] -> ShowS #
Eq UnOp Source #
Instance details Defined in Language.Futhark.Primitive Methods (==) :: UnOp -> UnOp -> Bool # (/=) :: UnOp -> UnOp -> Bool #
Ord UnOp Source #
Instance details Defined in Language.Futhark.Primitive Methods compare :: UnOp -> UnOp -> Ordering # (<) :: UnOp -> UnOp -> Bool # (<=) :: UnOp -> UnOp -> Bool # (>) :: UnOp -> UnOp -> Bool # (>=) :: UnOp -> UnOp -> Bool # max :: UnOp -> UnOp -> UnOp # min :: UnOp -> UnOp -> UnOp #
Pretty UnOp Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: UnOp -> Doc ann # prettyList :: [UnOp] -> Doc ann #

data BinOp Source #

Binary operators. These correspond closely to the binary operators in LLVM. Most are parametrised by their expected input and output types.

Constructors

Add IntType Overflow	Integer addition.
FAdd FloatType	Floating-point addition.
Sub IntType Overflow	Integer subtraction.
FSub FloatType	Floating-point subtraction.
Mul IntType Overflow	Integer multiplication.
FMul FloatType	Floating-point multiplication.
UDiv IntType Safety	Unsigned integer division. Rounds towards negative infinity. Note: this is different from LLVM.
UCeilDiv IntType Safety	Unsigned integer division. Rounds towards positive infinity.
SDiv IntType Safety	Signed integer division. Rounds towards negative infinity. Note: this is different from LLVM.
SCeilDiv IntType Safety	Signed integer division. Rounds towards positive infinity.
FDiv FloatType	Floating-point division.
FMod FloatType	Floating-point modulus.
UMod IntType Safety	Unsigned integer modulus; the countepart to `UDiv`.
SMod IntType Safety	Signed integer modulus; the countepart to `SDiv`.
SQuot IntType Safety	Signed integer division. Rounds towards zero. This corresponds to the `sdiv` instruction in LLVM and integer division in C.
SRem IntType Safety	Signed integer division. Rounds towards zero. This corresponds to the `srem` instruction in LLVM and integer modulo in C.
SMin IntType	Returns the smallest of two signed integers.
UMin IntType	Returns the smallest of two unsigned integers.
FMin FloatType	Returns the smallest of two floating-point numbers.
SMax IntType	Returns the greatest of two signed integers.
UMax IntType	Returns the greatest of two unsigned integers.
FMax FloatType	Returns the greatest of two floating-point numbers.
Shl IntType	Left-shift.
LShr IntType	Logical right-shift, zero-extended.
AShr IntType	Arithmetic right-shift, sign-extended.
And IntType	Bitwise and.
Or IntType	Bitwise or.
Xor IntType	Bitwise exclusive-or.
Pow IntType	Integer exponentiation.
FPow FloatType	Floating-point exponentiation.
LogAnd	Boolean and - not short-circuiting.
LogOr	Boolean or - not short-circuiting.

Instances

Instances details

Show BinOp Source #
Instance details Defined in Language.Futhark.Primitive Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #
Eq BinOp Source #
Instance details Defined in Language.Futhark.Primitive Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
Ord BinOp Source #
Instance details Defined in Language.Futhark.Primitive 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.Primitive Methods pretty :: BinOp -> Doc ann # prettyList :: [BinOp] -> Doc ann #

data CmpOp Source #

Comparison operators are like BinOps, but they always return a boolean value. The somewhat ugly constructor names are straight out of LLVM.

Constructors

CmpEq PrimType	All types equality.
CmpUlt IntType	Unsigned less than.
CmpUle IntType	Unsigned less than or equal.
CmpSlt IntType	Signed less than.
CmpSle IntType	Signed less than or equal.
FCmpLt FloatType	Floating-point less than.
FCmpLe FloatType	Floating-point less than or equal.
CmpLlt	Boolean less than.
CmpLle	Boolean less than or equal.

Instances

Instances details

Show CmpOp Source #
Instance details Defined in Language.Futhark.Primitive Methods showsPrec :: Int -> CmpOp -> ShowS # show :: CmpOp -> String # showList :: [CmpOp] -> ShowS #
Eq CmpOp Source #
Instance details Defined in Language.Futhark.Primitive Methods (==) :: CmpOp -> CmpOp -> Bool # (/=) :: CmpOp -> CmpOp -> Bool #
Ord CmpOp Source #
Instance details Defined in Language.Futhark.Primitive Methods compare :: CmpOp -> CmpOp -> Ordering # (<) :: CmpOp -> CmpOp -> Bool # (<=) :: CmpOp -> CmpOp -> Bool # (>) :: CmpOp -> CmpOp -> Bool # (>=) :: CmpOp -> CmpOp -> Bool # max :: CmpOp -> CmpOp -> CmpOp # min :: CmpOp -> CmpOp -> CmpOp #
Pretty CmpOp Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: CmpOp -> Doc ann # prettyList :: [CmpOp] -> Doc ann #

data ConvOp Source #

Conversion operators try to generalise the from t0 x to t1 instructions from LLVM.

Constructors

ZExt IntType IntType	Zero-extend the former integer type to the latter. If the new type is smaller, the result is a truncation.
SExt IntType IntType	Sign-extend the former integer type to the latter. If the new type is smaller, the result is a truncation.
FPConv FloatType FloatType	Convert value of the former floating-point type to the latter. If the new type is smaller, the result is a truncation.
FPToUI FloatType IntType	Convert a floating-point value to the nearest unsigned integer (rounding towards zero).
FPToSI FloatType IntType	Convert a floating-point value to the nearest signed integer (rounding towards zero).
UIToFP IntType FloatType	Convert an unsigned integer to a floating-point value.
SIToFP IntType FloatType	Convert a signed integer to a floating-point value.
FPToBits FloatType	Convert floating point number to its bitwise representation.
BitsToFP FloatType	Convert bitwise representation to a floating point number.
IToB IntType	Convert an integer to a boolean value. Zero becomes false; anything else is true.
BToI IntType	Convert a boolean to an integer. True is converted to 1 and False to 0.
FToB FloatType	Convert a float to a boolean value. Zero becomes false; \| anything else is true.
BToF FloatType	Convert a boolean to a float. True is converted to 1 and False to 0.

Instances

Instances details

Show ConvOp Source #
Instance details Defined in Language.Futhark.Primitive Methods showsPrec :: Int -> ConvOp -> ShowS # show :: ConvOp -> String # showList :: [ConvOp] -> ShowS #
Eq ConvOp Source #
Instance details Defined in Language.Futhark.Primitive Methods (==) :: ConvOp -> ConvOp -> Bool # (/=) :: ConvOp -> ConvOp -> Bool #
Ord ConvOp Source #
Instance details Defined in Language.Futhark.Primitive Methods compare :: ConvOp -> ConvOp -> Ordering # (<) :: ConvOp -> ConvOp -> Bool # (<=) :: ConvOp -> ConvOp -> Bool # (>) :: ConvOp -> ConvOp -> Bool # (>=) :: ConvOp -> ConvOp -> Bool # max :: ConvOp -> ConvOp -> ConvOp # min :: ConvOp -> ConvOp -> ConvOp #
Pretty ConvOp Source #
Instance details Defined in Language.Futhark.Primitive Methods pretty :: ConvOp -> Doc ann # prettyList :: [ConvOp] -> Doc ann #

data OpaqueOp Source #

Apart from being Opaque, what else is going on here?

Constructors

OpaqueNil	No special operation.
OpaqueTrace Text	Print the argument, prefixed by this string.

Instances

Instances details

Show OpaqueOp Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> OpaqueOp -> ShowS # show :: OpaqueOp -> String # showList :: [OpaqueOp] -> ShowS #
Eq OpaqueOp Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: OpaqueOp -> OpaqueOp -> Bool # (/=) :: OpaqueOp -> OpaqueOp -> Bool #
Ord OpaqueOp Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: OpaqueOp -> OpaqueOp -> Ordering # (<) :: OpaqueOp -> OpaqueOp -> Bool # (<=) :: OpaqueOp -> OpaqueOp -> Bool # (>) :: OpaqueOp -> OpaqueOp -> Bool # (>=) :: OpaqueOp -> OpaqueOp -> Bool # max :: OpaqueOp -> OpaqueOp -> OpaqueOp # min :: OpaqueOp -> OpaqueOp -> OpaqueOp #

data DimSplice d Source #

Split or join a range of dimensions. A reshaping operation consists of a sequence of these. The purpose is to maintain information about the original operations (flatten/unflatten), which can then be used for algebraic optimisations.

Constructors

DimSplice Int Int (ShapeBase d)

DimSplice i k s modifies dimensions i to i+k-1 to instead have shape s.

If k is 1 and the rank of s is greater than 1, then this is equivalent to unflattening a dimension.

If k is greater than 1 and the rank of s is 1, then this is equivalent to flattening adjacent dimensions.

If k is 1 and the rank of s is 1, then it is a coercion - a change that only affects the type, but does not have any semantic effect.

Other cases can do arbitrary changes, but are harder for the compiler to analyse.

Instances

Instances details

Functor DimSplice Source #
Instance details Defined in Futhark.IR.Syntax Methods fmap :: (a -> b) -> DimSplice a -> DimSplice b # (<$) :: a -> DimSplice b -> DimSplice a #
Foldable DimSplice Source #
Instance details Defined in Futhark.IR.Syntax Methods fold :: Monoid m => DimSplice m -> m # foldMap :: Monoid m => (a -> m) -> DimSplice a -> m # foldMap' :: Monoid m => (a -> m) -> DimSplice a -> m # foldr :: (a -> b -> b) -> b -> DimSplice a -> b # foldr' :: (a -> b -> b) -> b -> DimSplice a -> b # foldl :: (b -> a -> b) -> b -> DimSplice a -> b # foldl' :: (b -> a -> b) -> b -> DimSplice a -> b # foldr1 :: (a -> a -> a) -> DimSplice a -> a # foldl1 :: (a -> a -> a) -> DimSplice a -> a # toList :: DimSplice a -> [a] # null :: DimSplice a -> Bool # length :: DimSplice a -> Int # elem :: Eq a => a -> DimSplice a -> Bool # maximum :: Ord a => DimSplice a -> a # minimum :: Ord a => DimSplice a -> a # sum :: Num a => DimSplice a -> a # product :: Num a => DimSplice a -> a #
Traversable DimSplice Source #
Instance details Defined in Futhark.IR.Syntax Methods traverse :: Applicative f => (a -> f b) -> DimSplice a -> f (DimSplice b) # sequenceA :: Applicative f => DimSplice (f a) -> f (DimSplice a) # mapM :: Monad m => (a -> m b) -> DimSplice a -> m (DimSplice b) # sequence :: Monad m => DimSplice (m a) -> m (DimSplice a) #
Show d => Show (DimSplice d) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> DimSplice d -> ShowS # show :: DimSplice d -> String # showList :: [DimSplice d] -> ShowS #
Eq d => Eq (DimSplice d) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: DimSplice d -> DimSplice d -> Bool # (/=) :: DimSplice d -> DimSplice d -> Bool #
Ord d => Ord (DimSplice d) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: DimSplice d -> DimSplice d -> Ordering # (<) :: DimSplice d -> DimSplice d -> Bool # (<=) :: DimSplice d -> DimSplice d -> Bool # (>) :: DimSplice d -> DimSplice d -> Bool # (>=) :: DimSplice d -> DimSplice d -> Bool # max :: DimSplice d -> DimSplice d -> DimSplice d # min :: DimSplice d -> DimSplice d -> DimSplice d #
Pretty d => Pretty (DimSplice d) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: DimSplice d -> Doc ann # prettyList :: [DimSplice d] -> Doc ann #

data NewShape d Source #

A reshaping operation consists of a sequence of splices, as well as an annotation indicating the final shape.

Constructors

NewShape
Fields dimSplices :: [DimSplice d] The changes to perform. newShape :: ShapeBase d The resulting shape.

Instances

Instances details

Functor NewShape Source #
Instance details Defined in Futhark.IR.Syntax Methods fmap :: (a -> b) -> NewShape a -> NewShape b # (<$) :: a -> NewShape b -> NewShape a #
Foldable NewShape Source #
Instance details Defined in Futhark.IR.Syntax Methods fold :: Monoid m => NewShape m -> m # foldMap :: Monoid m => (a -> m) -> NewShape a -> m # foldMap' :: Monoid m => (a -> m) -> NewShape a -> m # foldr :: (a -> b -> b) -> b -> NewShape a -> b # foldr' :: (a -> b -> b) -> b -> NewShape a -> b # foldl :: (b -> a -> b) -> b -> NewShape a -> b # foldl' :: (b -> a -> b) -> b -> NewShape a -> b # foldr1 :: (a -> a -> a) -> NewShape a -> a # foldl1 :: (a -> a -> a) -> NewShape a -> a # toList :: NewShape a -> [a] # null :: NewShape a -> Bool # length :: NewShape a -> Int # elem :: Eq a => a -> NewShape a -> Bool # maximum :: Ord a => NewShape a -> a # minimum :: Ord a => NewShape a -> a # sum :: Num a => NewShape a -> a # product :: Num a => NewShape a -> a #
Traversable NewShape Source #
Instance details Defined in Futhark.IR.Syntax Methods traverse :: Applicative f => (a -> f b) -> NewShape a -> f (NewShape b) # sequenceA :: Applicative f => NewShape (f a) -> f (NewShape a) # mapM :: Monad m => (a -> m b) -> NewShape a -> m (NewShape b) # sequence :: Monad m => NewShape (m a) -> m (NewShape a) #
FreeIn d => FreeIn (NewShape d) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: NewShape d -> FV Source #
Substitute d => Substitute (NewShape d) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> NewShape d -> NewShape d Source #
Semigroup (NewShape d) Source #
Instance details Defined in Futhark.IR.Syntax Methods (<>) :: NewShape d -> NewShape d -> NewShape d # sconcat :: NonEmpty (NewShape d) -> NewShape d # stimes :: Integral b => b -> NewShape d -> NewShape d #
Show d => Show (NewShape d) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> NewShape d -> ShowS # show :: NewShape d -> String # showList :: [NewShape d] -> ShowS #
Eq d => Eq (NewShape d) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: NewShape d -> NewShape d -> Bool # (/=) :: NewShape d -> NewShape d -> Bool #
Ord d => Ord (NewShape d) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: NewShape d -> NewShape d -> Ordering # (<) :: NewShape d -> NewShape d -> Bool # (<=) :: NewShape d -> NewShape d -> Bool # (>) :: NewShape d -> NewShape d -> Bool # (>=) :: NewShape d -> NewShape d -> Bool # max :: NewShape d -> NewShape d -> NewShape d # min :: NewShape d -> NewShape d -> NewShape d #
Pretty d => Pretty (NewShape d) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: NewShape d -> Doc ann # prettyList :: [NewShape d] -> Doc ann #

type WithAccInput rep = (Shape, [VName], Maybe (Lambda rep, [SubExp])) Source #

The input to a WithAcc construct. Comprises the index space of the accumulator, the underlying arrays, and possibly a combining function.

data Exp rep Source #

The root Futhark expression type. The Op constructor contains a rep-specific operation. Do-loops, branches and function calls are special. Everything else is a simple BasicOp.

Constructors

BasicOp BasicOp	A simple (non-recursive) operation.
Apply Name [(SubExp, Diet)] [(RetType rep, RetAls)] Safety
Match [SubExp] [Case (Body rep)] (Body rep) (MatchDec (BranchType rep))	A match statement picks a branch by comparing the given subexpressions (called the scrutinee) with the pattern in each of the cases. If none of the cases match, the /default body/ is picked.
Loop [(FParam rep, SubExp)] LoopForm (Body rep)	`loop {a} = {v} (for i < n\|while b) do b`.
WithAcc [WithAccInput rep] (Lambda rep)	Create accumulators backed by the given arrays (which are consumed) and pass them to the lambda, which must return the updated accumulators and possibly some extra values. The accumulators are turned back into arrays. In the lambda, the result accumulators come first, and are ordered in a manner consistent with that of the input (accumulator) arguments. The `Shape` is the write index space. The corresponding arrays must all have this shape outermost. This construct is not part of `BasicOp` because we need the `rep` parameter.
Op (Op rep)

Instances

Instances details

(FreeDec (ExpDec rep), FreeDec (BodyDec rep), FreeIn (FParamInfo rep), FreeIn (LParamInfo rep), FreeIn (LetDec rep), FreeIn (RetType rep), FreeIn (BranchType rep), FreeIn (Op rep)) => FreeIn (Exp rep) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Exp rep -> FV Source #
Renameable rep => Rename (Exp rep) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Exp rep -> RenameM (Exp rep) Source #
Substitutable rep => Substitute (Exp rep) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Exp rep -> Exp rep Source #
RepTypes rep => Show (Exp rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> Exp rep -> ShowS # show :: Exp rep -> String # showList :: [Exp rep] -> ShowS #
RepTypes rep => Eq (Exp rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: Exp rep -> Exp rep -> Bool # (/=) :: Exp rep -> Exp rep -> Bool #
RepTypes rep => Ord (Exp rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: Exp rep -> Exp rep -> Ordering # (<) :: Exp rep -> Exp rep -> Bool # (<=) :: Exp rep -> Exp rep -> Bool # (>) :: Exp rep -> Exp rep -> Bool # (>=) :: Exp rep -> Exp rep -> Bool # max :: Exp rep -> Exp rep -> Exp rep # min :: Exp rep -> Exp rep -> Exp rep #
PrettyRep rep => Pretty (Exp rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Exp rep -> Doc ann # prettyList :: [Exp rep] -> Doc ann #

data Case body Source #

A non-default case in a Match statement. The number of elements in the pattern must match the number of scrutinees. A Nothing value indicates that we don't care about it (i.e. a wildcard).

Constructors

Case
Fields casePat :: [Maybe PrimValue] caseBody :: body

Instances

Instances details

Functor Case Source #
Instance details Defined in Futhark.IR.Syntax Methods fmap :: (a -> b) -> Case a -> Case b # (<$) :: a -> Case b -> Case a #
Foldable Case Source #
Instance details Defined in Futhark.IR.Syntax Methods fold :: Monoid m => Case m -> m # foldMap :: Monoid m => (a -> m) -> Case a -> m # foldMap' :: Monoid m => (a -> m) -> Case a -> m # foldr :: (a -> b -> b) -> b -> Case a -> b # foldr' :: (a -> b -> b) -> b -> Case a -> b # foldl :: (b -> a -> b) -> b -> Case a -> b # foldl' :: (b -> a -> b) -> b -> Case a -> b # foldr1 :: (a -> a -> a) -> Case a -> a # foldl1 :: (a -> a -> a) -> Case a -> a # toList :: Case a -> [a] # null :: Case a -> Bool # length :: Case a -> Int # elem :: Eq a => a -> Case a -> Bool # maximum :: Ord a => Case a -> a # minimum :: Ord a => Case a -> a # sum :: Num a => Case a -> a # product :: Num a => Case a -> a #
Traversable Case Source #
Instance details Defined in Futhark.IR.Syntax Methods traverse :: Applicative f => (a -> f b) -> Case a -> f (Case b) # sequenceA :: Applicative f => Case (f a) -> f (Case a) # mapM :: Monad m => (a -> m b) -> Case a -> m (Case b) # sequence :: Monad m => Case (m a) -> m (Case a) #
FreeIn body => FreeIn (Case body) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Case body -> FV Source #
Show body => Show (Case body) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> Case body -> ShowS # show :: Case body -> String # showList :: [Case body] -> ShowS #
Eq body => Eq (Case body) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: Case body -> Case body -> Bool # (/=) :: Case body -> Case body -> Bool #
Ord body => Ord (Case body) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: Case body -> Case body -> Ordering # (<) :: Case body -> Case body -> Bool # (<=) :: Case body -> Case body -> Bool # (>) :: Case body -> Case body -> Bool # (>=) :: Case body -> Case body -> Bool # max :: Case body -> Case body -> Case body # min :: Case body -> Case body -> Case body #
PrettyRep rep => Pretty (Case (Body rep)) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Case (Body rep) -> Doc ann # prettyList :: [Case (Body rep)] -> Doc ann #

data LoopForm Source #

For-loop or while-loop?

Constructors

ForLoop
Fields VName The loop iterator var IntType The type of the loop iterator var SubExp The number of iterations.
WhileLoop VName

Instances

Instances details

FreeIn LoopForm Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: LoopForm -> FV Source #
Show LoopForm Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> LoopForm -> ShowS # show :: LoopForm -> String # showList :: [LoopForm] -> ShowS #
Eq LoopForm Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: LoopForm -> LoopForm -> Bool # (/=) :: LoopForm -> LoopForm -> Bool #
Ord LoopForm Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: LoopForm -> LoopForm -> Ordering # (<) :: LoopForm -> LoopForm -> Bool # (<=) :: LoopForm -> LoopForm -> Bool # (>) :: LoopForm -> LoopForm -> Bool # (>=) :: LoopForm -> LoopForm -> Bool # max :: LoopForm -> LoopForm -> LoopForm # min :: LoopForm -> LoopForm -> LoopForm #

data MatchDec rt Source #

Data associated with a branch.

Constructors

MatchDec
Fields matchReturns :: [rt] matchSort :: MatchSort

Instances

Instances details

FreeIn a => FreeIn (MatchDec a) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: MatchDec a -> FV Source #
Show rt => Show (MatchDec rt) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> MatchDec rt -> ShowS # show :: MatchDec rt -> String # showList :: [MatchDec rt] -> ShowS #
Eq rt => Eq (MatchDec rt) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: MatchDec rt -> MatchDec rt -> Bool # (/=) :: MatchDec rt -> MatchDec rt -> Bool #
Ord rt => Ord (MatchDec rt) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: MatchDec rt -> MatchDec rt -> Ordering # (<) :: MatchDec rt -> MatchDec rt -> Bool # (<=) :: MatchDec rt -> MatchDec rt -> Bool # (>) :: MatchDec rt -> MatchDec rt -> Bool # (>=) :: MatchDec rt -> MatchDec rt -> Bool # max :: MatchDec rt -> MatchDec rt -> MatchDec rt # min :: MatchDec rt -> MatchDec rt -> MatchDec rt #

data MatchSort Source #

What kind of branch is this? This has no semantic meaning, but provides hints to simplifications.

Constructors

MatchNormal	An ordinary branch.
MatchFallback	A branch where the "true" case is what we are actually interested in, and the "false" case is only present as a fallback for when the true case cannot be safely evaluated. The compiler is permitted to optimise away the branch if the true case contains only safe statements.
MatchEquiv	Both of these branches are semantically equivalent, and it is fine to eliminate one if it turns out to have problems (e.g. contain things we cannot generate code for).

Instances

Instances details

Show MatchSort Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> MatchSort -> ShowS # show :: MatchSort -> String # showList :: [MatchSort] -> ShowS #
Eq MatchSort Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: MatchSort -> MatchSort -> Bool # (/=) :: MatchSort -> MatchSort -> Bool #
Ord MatchSort Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: MatchSort -> MatchSort -> Ordering # (<) :: MatchSort -> MatchSort -> Bool # (<=) :: MatchSort -> MatchSort -> Bool # (>) :: MatchSort -> MatchSort -> Bool # (>=) :: MatchSort -> MatchSort -> Bool # max :: MatchSort -> MatchSort -> MatchSort # min :: MatchSort -> MatchSort -> MatchSort #

data Safety Source #

Whether something is safe or unsafe (mostly function calls, and in the context of whether operations are dynamically checked). When we inline an Unsafe function, we remove all safety checks in its body. The Ord instance picks Unsafe as being less than Safe.

For operations like integer division, a safe division will not explode the computer in case of division by zero, but instead return some unspecified value. This always involves a run-time check, so generally the unsafe variant is what the compiler will insert, but guarded by an explicit assertion elsewhere. Safe operations are useful when the optimiser wants to move e.g. a division to a location where the divisor may be zero, but where the result will only be used when it is non-zero (so it doesn't matter what result is provided with a zero divisor, as long as the program keeps running).

Constructors

Unsafe
Safe

Instances

Instances details

Show Safety Source #
Instance details Defined in Language.Futhark.Primitive Methods showsPrec :: Int -> Safety -> ShowS # show :: Safety -> String # showList :: [Safety] -> ShowS #
Eq Safety Source #
Instance details Defined in Language.Futhark.Primitive Methods (==) :: Safety -> Safety -> Bool # (/=) :: Safety -> Safety -> Bool #
Ord Safety Source #
Instance details Defined in Language.Futhark.Primitive Methods compare :: Safety -> Safety -> Ordering # (<) :: Safety -> Safety -> Bool # (<=) :: Safety -> Safety -> Bool # (>) :: Safety -> Safety -> Bool # (>=) :: Safety -> Safety -> Bool # max :: Safety -> Safety -> Safety # min :: Safety -> Safety -> Safety #

data GLambda rep t Source #

A generalised lambda consists of parameters, some kind of return type, and a body.

Constructors

Lambda
Fields lambdaParams :: [LParam rep] lambdaReturnType :: [t] lambdaBody :: Body rep

Instances

Instances details

Scoped rep (Lambda rep) Source #
Instance details Defined in Futhark.IR.Prop.Scope Methods scopeOf :: Lambda rep -> Scope rep Source #
(FreeDec (ExpDec rep), FreeDec (BodyDec rep), FreeIn (FParamInfo rep), FreeIn (LParamInfo rep), FreeIn (LetDec rep), FreeIn (RetType rep), FreeIn (BranchType rep), FreeIn (Op rep), FreeIn t) => FreeIn (GLambda rep t) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: GLambda rep t -> FV Source #
(Renameable rep, Rename t) => Rename (GLambda rep t) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: GLambda rep t -> RenameM (GLambda rep t) Source #
(Substitutable rep, Substitute t) => Substitute (GLambda rep t) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> GLambda rep t -> GLambda rep t Source #
(RepTypes rep, Show t) => Show (GLambda rep t) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> GLambda rep t -> ShowS # show :: GLambda rep t -> String # showList :: [GLambda rep t] -> ShowS #
(RepTypes rep, Eq t) => Eq (GLambda rep t) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: GLambda rep t -> GLambda rep t -> Bool # (/=) :: GLambda rep t -> GLambda rep t -> Bool #
(RepTypes rep, Ord t) => Ord (GLambda rep t) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: GLambda rep t -> GLambda rep t -> Ordering # (<) :: GLambda rep t -> GLambda rep t -> Bool # (<=) :: GLambda rep t -> GLambda rep t -> Bool # (>) :: GLambda rep t -> GLambda rep t -> Bool # (>=) :: GLambda rep t -> GLambda rep t -> Bool # max :: GLambda rep t -> GLambda rep t -> GLambda rep t # min :: GLambda rep t -> GLambda rep t -> GLambda rep t #
(PrettyRep rep, Pretty t) => Pretty (GLambda rep t) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: GLambda rep t -> Doc ann # prettyList :: [GLambda rep t] -> Doc ann #

type Lambda rep = GLambda rep Type Source #

Anonymous function for use in most SOACs, where the return type is a normal type.

type ExtLambda rep = GLambda rep ExtType Source #

Anonymous function that can return arrays with existential size.

data RetAls Source #

Information about the possible aliases of a function result.

Constructors

RetAls
Fields paramAls :: [Int] Which of the parameters may be aliased, numbered from zero. Must be sorted in increasing order. otherAls :: [Int] Which of the other results may be aliased, numbered from zero. This must be a reflexive relation. Must be sorted in increasing order.

Instances

Instances details

Monoid RetAls Source #
Instance details Defined in Futhark.IR.Syntax Methods mempty :: RetAls # mappend :: RetAls -> RetAls -> RetAls # mconcat :: [RetAls] -> RetAls #
Semigroup RetAls Source #
Instance details Defined in Futhark.IR.Syntax Methods (<>) :: RetAls -> RetAls -> RetAls # sconcat :: NonEmpty RetAls -> RetAls # stimes :: Integral b => b -> RetAls -> RetAls #
Show RetAls Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> RetAls -> ShowS # show :: RetAls -> String # showList :: [RetAls] -> ShowS #
Eq RetAls Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: RetAls -> RetAls -> Bool # (/=) :: RetAls -> RetAls -> Bool #
Ord RetAls Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: RetAls -> RetAls -> Ordering # (<) :: RetAls -> RetAls -> Bool # (<=) :: RetAls -> RetAls -> Bool # (>) :: RetAls -> RetAls -> Bool # (>=) :: RetAls -> RetAls -> Bool # max :: RetAls -> RetAls -> RetAls # min :: RetAls -> RetAls -> RetAls #

Definitions

data Param dec Source #

A function or lambda parameter.

Constructors

Param
Fields paramAttrs :: Attrs Attributes of the parameter. When constructing a parameter, feel free to just pass `mempty`. paramName :: VName Name of the parameter. paramDec :: dec Function parameter decoration.

Instances

Instances details

Functor Param Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods fmap :: (a -> b) -> Param a -> Param b # (<$) :: a -> Param b -> Param a #
Foldable Param Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods fold :: Monoid m => Param m -> m # foldMap :: Monoid m => (a -> m) -> Param a -> m # foldMap' :: Monoid m => (a -> m) -> Param a -> m # foldr :: (a -> b -> b) -> b -> Param a -> b # foldr' :: (a -> b -> b) -> b -> Param a -> b # foldl :: (b -> a -> b) -> b -> Param a -> b # foldl' :: (b -> a -> b) -> b -> Param a -> b # foldr1 :: (a -> a -> a) -> Param a -> a # foldl1 :: (a -> a -> a) -> Param a -> a # toList :: Param a -> [a] # null :: Param a -> Bool # length :: Param a -> Int # elem :: Eq a => a -> Param a -> Bool # maximum :: Ord a => Param a -> a # minimum :: Ord a => Param a -> a # sum :: Num a => Param a -> a # product :: Num a => Param a -> a #
Traversable Param Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods traverse :: Applicative f => (a -> f b) -> Param a -> f (Param b) # sequenceA :: Applicative f => Param (f a) -> f (Param a) # mapM :: Monad m => (a -> m b) -> Param a -> m (Param b) # sequence :: Monad m => Param (m a) -> m (Param a) #
FreeIn dec => FreeIn (Param dec) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Param dec -> FV Source #
DeclTyped dec => DeclTyped (Param dec) Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declTypeOf :: Param dec -> DeclType Source #
Typed dec => Typed (Param dec) Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: Param dec -> Type Source #
Rename dec => Rename (Param dec) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Param dec -> RenameM (Param dec) Source #
Substitute dec => Substitute (Param dec) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Param dec -> Param dec Source #
Show dec => Show (Param dec) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> Param dec -> ShowS # show :: Param dec -> String # showList :: [Param dec] -> ShowS #
Eq dec => Eq (Param dec) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: Param dec -> Param dec -> Bool # (/=) :: Param dec -> Param dec -> Bool #
Ord dec => Ord (Param dec) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods compare :: Param dec -> Param dec -> Ordering # (<) :: Param dec -> Param dec -> Bool # (<=) :: Param dec -> Param dec -> Bool # (>) :: Param dec -> Param dec -> Bool # (>=) :: Param dec -> Param dec -> Bool # max :: Param dec -> Param dec -> Param dec # min :: Param dec -> Param dec -> Param dec #
Pretty t => Pretty (Param t) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Param t -> Doc ann # prettyList :: [Param t] -> Doc ann #

type FParam rep = Param (FParamInfo rep) Source #

A function and loop parameter.

type LParam rep = Param (LParamInfo rep) Source #

A lambda parameter.

data FunDef rep Source #

Function definitions.

Constructors

FunDef
Fields funDefEntryPoint :: Maybe EntryPoint Contains a value if this function is an entry point. funDefAttrs :: Attrs funDefName :: Name funDefRetType :: [(RetType rep, RetAls)] funDefParams :: [FParam rep] funDefBody :: Body rep

Instances

Instances details

Scoped rep (FunDef rep) Source #
Instance details Defined in Futhark.IR.Prop.Scope Methods scopeOf :: FunDef rep -> Scope rep Source #
(FreeDec (ExpDec rep), FreeDec (BodyDec rep), FreeIn (FParamInfo rep), FreeIn (LParamInfo rep), FreeIn (LetDec rep), FreeIn (RetType rep), FreeIn (BranchType rep), FreeIn (Op rep)) => FreeIn (FunDef rep) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: FunDef rep -> FV Source #
Renameable rep => Rename (FunDef rep) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: FunDef rep -> RenameM (FunDef rep) Source #
RepTypes rep => Show (FunDef rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> FunDef rep -> ShowS # show :: FunDef rep -> String # showList :: [FunDef rep] -> ShowS #
RepTypes rep => Eq (FunDef rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: FunDef rep -> FunDef rep -> Bool # (/=) :: FunDef rep -> FunDef rep -> Bool #
RepTypes rep => Ord (FunDef rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: FunDef rep -> FunDef rep -> Ordering # (<) :: FunDef rep -> FunDef rep -> Bool # (<=) :: FunDef rep -> FunDef rep -> Bool # (>) :: FunDef rep -> FunDef rep -> Bool # (>=) :: FunDef rep -> FunDef rep -> Bool # max :: FunDef rep -> FunDef rep -> FunDef rep # min :: FunDef rep -> FunDef rep -> FunDef rep #
PrettyRep rep => Pretty (FunDef rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: FunDef rep -> Doc ann # prettyList :: [FunDef rep] -> Doc ann #

data EntryParam Source #

An entry point parameter, comprising its name and original type.

Constructors

EntryParam
Fields entryParamName :: Name entryParamDiet :: Diet entryParamType :: EntryPointType

Instances

Instances details

Show EntryParam Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> EntryParam -> ShowS # show :: EntryParam -> String # showList :: [EntryParam] -> ShowS #
Eq EntryParam Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: EntryParam -> EntryParam -> Bool # (/=) :: EntryParam -> EntryParam -> Bool #
Ord EntryParam Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: EntryParam -> EntryParam -> Ordering # (<) :: EntryParam -> EntryParam -> Bool # (<=) :: EntryParam -> EntryParam -> Bool # (>) :: EntryParam -> EntryParam -> Bool # (>=) :: EntryParam -> EntryParam -> Bool # max :: EntryParam -> EntryParam -> EntryParam # min :: EntryParam -> EntryParam -> EntryParam #
Pretty EntryParam Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: EntryParam -> Doc ann # prettyList :: [EntryParam] -> Doc ann #

data EntryResult Source #

An entry point result type.

Constructors

EntryResult
Fields entryResultFreshness :: Diet Here we overload "consumable" as "fresh". entryResultType :: EntryPointType

Instances

Instances details

Show EntryResult Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> EntryResult -> ShowS # show :: EntryResult -> String # showList :: [EntryResult] -> ShowS #
Eq EntryResult Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: EntryResult -> EntryResult -> Bool # (/=) :: EntryResult -> EntryResult -> Bool #
Ord EntryResult Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: EntryResult -> EntryResult -> Ordering # (<) :: EntryResult -> EntryResult -> Bool # (<=) :: EntryResult -> EntryResult -> Bool # (>) :: EntryResult -> EntryResult -> Bool # (>=) :: EntryResult -> EntryResult -> Bool # max :: EntryResult -> EntryResult -> EntryResult # min :: EntryResult -> EntryResult -> EntryResult #
Pretty EntryResult Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: EntryResult -> Doc ann # prettyList :: [EntryResult] -> Doc ann #

type EntryPoint = (Name, [EntryParam], EntryResult, Maybe Text) Source #

Information about the inputs and outputs (return value) of an entry point.

data Prog rep Source #

An entire Futhark program.

Constructors

Prog

Fields

progTypes :: OpaqueTypes
The opaque types used in entry points. This information is used to generate extra API functions for construction and deconstruction of values of these types.
progConsts :: Stms rep
Top-level constants that are computed at program startup, and which are in scope inside all functions.
progFuns :: [FunDef rep]
The functions comprising the program. All functions are also available in scope in the definitions of the constants, so be careful not to introduce circular dependencies (not currently checked).

Instances

Instances details

RepTypes rep => Show (Prog rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> Prog rep -> ShowS # show :: Prog rep -> String # showList :: [Prog rep] -> ShowS #
RepTypes rep => Eq (Prog rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: Prog rep -> Prog rep -> Bool # (/=) :: Prog rep -> Prog rep -> Bool #
RepTypes rep => Ord (Prog rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: Prog rep -> Prog rep -> Ordering # (<) :: Prog rep -> Prog rep -> Bool # (<=) :: Prog rep -> Prog rep -> Bool # (>) :: Prog rep -> Prog rep -> Bool # (>=) :: Prog rep -> Prog rep -> Bool # max :: Prog rep -> Prog rep -> Prog rep # min :: Prog rep -> Prog rep -> Prog rep #
PrettyRep rep => Pretty (Prog rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Prog rep -> Doc ann # prettyList :: [Prog rep] -> Doc ann #