Safe Haskell	Safe-Inferred
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 uniqueness information. The Type alias, which is the most commonly used, uses Shape and NoUniqueness.

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
prettyText :: Pretty a => a -> Text
class Pretty a
module Futhark.IR.Rep
module Futhark.IR.Syntax.Core
data Uniqueness
- = Nonunique
- | Unique
data NoUniqueness = NoUniqueness
newtype Rank = Rank Int
class (Monoid a, Eq a, Ord a) => ArrayShape a where
- shapeRank :: a -> Int
- subShapeOf :: a -> a -> Bool
data Space
- = DefaultSpace
- | Space SpaceId
- | ScalarSpace [SubExp] PrimType
data TypeBase shape u
- = Prim PrimType
- | Acc VName Shape [Type] u
- | Array PrimType shape u
- | Mem Space
data Diet
- = Consume
- | Observe
- | ObservePrim
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
- 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 Body rep = Body {
- bodyDec :: BodyDec rep
- bodyStms :: Stms rep
- bodyResult :: Result
}
data BasicOp
- = SubExp SubExp
- | Opaque OpaqueOp SubExp
- | ArrayLit [SubExp] Type
- | UnOp UnOp SubExp
- | BinOp BinOp SubExp SubExp
- | CmpOp CmpOp SubExp SubExp
- | ConvOp ConvOp SubExp
- | Assert SubExp (ErrorMsg SubExp) (SrcLoc, [SrcLoc])
- | 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 [Int] VName
- | Iota SubExp SubExp SubExp IntType
- | Replicate Shape SubExp
- | Scratch PrimType [SubExp]
- | Reshape ReshapeKind Shape VName
- | Rearrange [Int] VName
- | UpdateAcc VName [SubExp] [SubExp]
data UnOp
- = Not
- | 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
- | UDivUp IntType Safety
- | SDiv IntType Safety
- | SDivUp 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
- | IToB IntType
- | BToI IntType
- | FToB FloatType
- | BToF FloatType
data OpaqueOp
- = OpaqueNil
- | OpaqueTrace Text
data ReshapeKind
- = ReshapeCoerce
- | ReshapeArbitrary
type WithAccInput rep = (Shape, [VName], Maybe (Lambda rep, [SubExp]))
data Exp rep
- = BasicOp BasicOp
- | Apply Name [(SubExp, Diet)] [(RetType rep, RetAls)] (Safety, SrcLoc, [SrcLoc])
- | 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 Lambda rep = Lambda {
- lambdaParams :: [LParam rep]
- lambdaReturnType :: [Type]
- lambdaBody :: Body rep
}
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
- entryParamUniqueness :: Uniqueness
- entryParamType :: EntryPointType
}
data EntryResult = EntryResult {
- entryResultUniqueness :: Uniqueness
- entryResultType :: EntryPointType
}
type EntryPoint = (Name, [EntryParam], [EntryResult])
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.

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

Prettyprint a value to a Text, appropriately wrapped.

class Pretty a #

Overloaded conversion to Doc.

Laws:

output should be pretty. :-)

Minimal complete definition

pretty

Instances

Instances details

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 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 EntryPointType Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: EntryPointType -> Doc ann # prettyList :: [EntryPointType] -> Doc ann #
Pretty ExtShape Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: ExtShape -> Doc ann # prettyList :: [ExtShape] -> 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 Rank Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Rank -> Doc ann # prettyList :: [Rank] -> Doc ann #
Pretty Shape Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Shape -> Doc ann # prettyList :: [Shape] -> 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 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 Exp Source #
Instance details Defined in Futhark.Script Methods pretty :: Exp -> Doc ann # prettyList :: [Exp] -> Doc ann #
Pretty Func Source #
Instance details Defined in Futhark.Script Methods pretty :: Func -> Doc ann # prettyList :: [Func] -> Doc ann #
Pretty ScriptValueType Source #
Instance details Defined in Futhark.Script Methods pretty :: ScriptValueType -> Doc ann # prettyList :: [ScriptValueType] -> Doc ann #
Pretty Name Source #
Instance details Defined in Language.Futhark.Core Methods pretty :: Name -> Doc ann # prettyList :: [Name] -> Doc ann #
Pretty NoUniqueness Source #
Instance details Defined in Language.Futhark.Core Methods pretty :: NoUniqueness -> Doc ann # prettyList :: [NoUniqueness] -> Doc ann #
Pretty Uniqueness Source #
Instance details Defined in Language.Futhark.Core Methods pretty :: Uniqueness -> Doc ann # prettyList :: [Uniqueness] -> 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 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 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 BreadCrumbs Source #
Instance details Defined in Language.Futhark.TypeChecker.Unify Methods pretty :: BreadCrumbs -> Doc ann # prettyList :: [BreadCrumbs] -> 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 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 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 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 ClientCapabilities
Instance details Defined in Language.LSP.Protocol.Internal.Types.ClientCapabilities Methods pretty :: ClientCapabilities -> Doc ann # prettyList :: [ClientCapabilities] -> 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 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 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 CompletionList
Instance details Defined in Language.LSP.Protocol.Internal.Types.CompletionList Methods pretty :: CompletionList -> Doc ann # prettyList :: [CompletionList] -> 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 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 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 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 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 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 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 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 PrepareRenameParams
Instance details Defined in Language.LSP.Protocol.Internal.Types.PrepareRenameParams Methods pretty :: PrepareRenameParams -> Doc ann # prettyList :: [PrepareRenameParams] -> 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 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 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 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 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 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 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 TraceValues
Instance details Defined in Language.LSP.Protocol.Internal.Types.TraceValues Methods pretty :: TraceValues -> Doc ann # prettyList :: [TraceValues] -> 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 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 `Doc` 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 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 #
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 (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 (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 #
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 #
PrettyRep rep => Pretty (Lambda rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Lambda rep -> Doc ann # prettyList :: [Lambda rep] -> 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 #
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 a => Pretty (Slice a) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Slice a -> Doc ann # prettyList :: [Slice a] -> Doc ann #
Pretty v => Pretty (Compound v) Source #
Instance details Defined in Futhark.Test.Values Methods pretty :: Compound v -> Doc ann # prettyList :: [Compound v] -> 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 (QualName vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: QualName vn -> Doc ann # prettyList :: [QualName vn] -> 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 Size) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: Shape Size -> Doc ann # prettyList :: [Shape Size] -> 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 #
(Eq vn, IsName vn) => Pretty (TypeParamBase vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: TypeParamBase vn -> Doc ann # prettyList :: [TypeParamBase vn] -> Doc ann #
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 (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 #
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 (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 #
(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 #
Pretty u => Pretty (TypeBase ExtShape u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase ExtShape u -> Doc ann # prettyList :: [TypeBase ExtShape u] -> Doc ann #
Pretty u => Pretty (TypeBase Rank u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Rank u -> Doc ann # prettyList :: [TypeBase Rank u] -> Doc ann #
Pretty u => Pretty (TypeBase Shape u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Shape u -> Doc ann # prettyList :: [TypeBase Shape u] -> Doc ann #
(Eq vn, 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 => 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 #
(Eq vn, 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 u) => Pretty (RetTypeBase dim u) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: RetTypeBase dim u -> Doc ann # prettyList :: [RetTypeBase dim u] -> Doc ann #
(Pretty (Shape dim), Pretty u) => Pretty (ScalarTypeBase dim u) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: ScalarTypeBase dim u -> Doc ann # prettyList :: [ScalarTypeBase dim u] -> Doc ann #
(Eq vn, 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 u) => Pretty (TypeBase dim u) Source #
Instance details Defined in Language.Futhark.Pretty Methods pretty :: TypeBase dim u -> Doc ann # prettyList :: [TypeBase dim u] -> Doc ann #
(Eq vn, 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 #
(Eq vn, 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 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 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) u), Pretty d, Pretty u, Pretty ret) => Pretty (MemInfo d u ret) Source #
Instance details Defined in Futhark.IR.Mem Methods pretty :: MemInfo d u ret -> Doc ann # prettyList :: [MemInfo d u ret] -> Doc ann #
(Eq vn, 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 #
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 #

module Futhark.IR.Rep

module Futhark.IR.Syntax.Core

Types

data Uniqueness Source #

The uniqueness attribute of a type. This essentially indicates whether or not in-place modifications are acceptable. With respect to ordering, Unique is greater than Nonunique.

Constructors

Nonunique	May have references outside current function.
Unique	No references outside current function.

Instances

Instances details

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

data NoUniqueness Source #

A fancier name for () - encodes no uniqueness information. Also has a different prettyprinting instance.

Constructors

NoUniqueness

Instances

Instances details

Monoid NoUniqueness Source #
Instance details Defined in Language.Futhark.Core Methods mempty :: NoUniqueness # mappend :: NoUniqueness -> NoUniqueness -> NoUniqueness # mconcat :: [NoUniqueness] -> NoUniqueness #
Semigroup NoUniqueness Source #
Instance details Defined in Language.Futhark.Core Methods (<>) :: NoUniqueness -> NoUniqueness -> NoUniqueness # sconcat :: NonEmpty NoUniqueness -> NoUniqueness # stimes :: Integral b => b -> NoUniqueness -> NoUniqueness #
Show NoUniqueness Source #
Instance details Defined in Language.Futhark.Core Methods showsPrec :: Int -> NoUniqueness -> ShowS # show :: NoUniqueness -> String # showList :: [NoUniqueness] -> ShowS #
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 #
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 #
Eq NoUniqueness Source #
Instance details Defined in Language.Futhark.Core Methods (==) :: NoUniqueness -> NoUniqueness -> Bool # (/=) :: NoUniqueness -> NoUniqueness -> Bool #
Ord NoUniqueness Source #
Instance details Defined in Language.Futhark.Core Methods compare :: NoUniqueness -> NoUniqueness -> Ordering # (<) :: NoUniqueness -> NoUniqueness -> Bool # (<=) :: NoUniqueness -> NoUniqueness -> Bool # (>) :: NoUniqueness -> NoUniqueness -> Bool # (>=) :: NoUniqueness -> NoUniqueness -> Bool # max :: NoUniqueness -> NoUniqueness -> NoUniqueness # min :: NoUniqueness -> NoUniqueness -> NoUniqueness #
Pretty NoUniqueness Source #
Instance details Defined in Language.Futhark.Core Methods pretty :: NoUniqueness -> Doc ann # prettyList :: [NoUniqueness] -> Doc ann #
Substitutable (Pat StructType) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #
Substitutable (RetTypeBase Size NoUniqueness) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> RetTypeBase Size NoUniqueness -> RetTypeBase Size NoUniqueness Source #
FixExt ret => ExtTyped (MemInfo ExtSize NoUniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods extTypeOf :: MemInfo ExtSize NoUniqueness ret -> ExtType Source #
Typed (MemInfo SubExp NoUniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp NoUniqueness 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

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 #
ArrayShape Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: Rank -> Int Source # subShapeOf :: Rank -> Rank -> Bool 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 #
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 u => Pretty (TypeBase Rank u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Rank u -> Doc ann # prettyList :: [TypeBase Rank u] -> Doc ann #

class (Monoid a, Eq a, Ord 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.

subShapeOf :: a -> a -> Bool Source #

Check whether one shape if a subset of another shape.

Instances

Instances details

ArrayShape Rank Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: Rank -> Int Source # subShapeOf :: Rank -> Rank -> Bool Source #
ArrayShape (ShapeBase ExtSize) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: ShapeBase ExtSize -> Int Source # subShapeOf :: ShapeBase ExtSize -> ShapeBase ExtSize -> Bool Source #
ArrayShape (ShapeBase SubExp) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: ShapeBase SubExp -> Int Source # subShapeOf :: ShapeBase SubExp -> ShapeBase SubExp -> Bool 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

Show Space Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> Space -> ShowS # show :: Space -> String # showList :: [Space] -> ShowS #
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 #
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 u Source #

The type of a value. When comparing types for equality with ==, shapes must match.

Constructors

Prim PrimType
Acc VName Shape [Type] u	Token, index space, element type, and uniqueness.
Array PrimType shape u
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) #
DeclExtTyped DeclExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declExtTypeOf :: DeclExtType -> DeclExtType 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 #
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 DeclExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primRetType :: PrimType -> DeclExtType Source # applyRetType :: Typed dec => [DeclExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [DeclExtType] Source #
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) #
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 #
(Show shape, Show u) => Show (TypeBase shape u) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> TypeBase shape u -> ShowS # show :: TypeBase shape u -> String # showList :: [TypeBase shape u] -> ShowS #
FreeIn shape => FreeIn (TypeBase shape u) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: TypeBase shape u -> FV Source #
(FixExt shape, ArrayShape shape) => FixExt (TypeBase shape u) Source #
Instance details Defined in Futhark.IR.Prop.Types Methods fixExt :: Int -> SubExp -> TypeBase shape u -> TypeBase shape u Source # mapExt :: (Int -> Int) -> TypeBase shape u -> TypeBase shape u Source #
Simplifiable shape => Simplifiable (TypeBase shape u) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods simplify :: SimplifiableRep rep => TypeBase shape u -> SimpleM rep (TypeBase shape u) Source #
Rename shape => Rename (TypeBase shape u) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: TypeBase shape u -> RenameM (TypeBase shape u) Source #
Substitute shape => Substitute (TypeBase shape u) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> TypeBase shape u -> TypeBase shape u Source #
(Eq shape, Eq u) => Eq (TypeBase shape u) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods (==) :: TypeBase shape u -> TypeBase shape u -> Bool # (/=) :: TypeBase shape u -> TypeBase shape u -> Bool #
(Ord shape, Ord u) => Ord (TypeBase shape u) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods compare :: TypeBase shape u -> TypeBase shape u -> Ordering # (<) :: TypeBase shape u -> TypeBase shape u -> Bool # (<=) :: TypeBase shape u -> TypeBase shape u -> Bool # (>) :: TypeBase shape u -> TypeBase shape u -> Bool # (>=) :: TypeBase shape u -> TypeBase shape u -> Bool # max :: TypeBase shape u -> TypeBase shape u -> TypeBase shape u # min :: TypeBase shape u -> TypeBase shape u -> TypeBase shape u #
Pretty u => Pretty (TypeBase ExtShape u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase ExtShape u -> Doc ann # prettyList :: [TypeBase ExtShape u] -> Doc ann #
Pretty u => Pretty (TypeBase Rank u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Rank u -> Doc ann # prettyList :: [TypeBase Rank u] -> Doc ann #
Pretty u => Pretty (TypeBase Shape u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Shape u -> Doc ann # prettyList :: [TypeBase Shape u] -> 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

Consume	Consumes this value.
Observe	Only observes value in this position, does not consume. A result may alias this.
ObservePrim	As `Observe`, but the result will not alias, because the parameter does not carry aliases.

Instances

Instances details

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 #

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

Show Ident Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
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 #
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

Show SubExp Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods showsPrec :: Int -> SubExp -> ShowS # show :: SubExp -> String # showList :: [SubExp] -> ShowS #
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 #
DeclExtTyped DeclExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declExtTypeOf :: DeclExtType -> DeclExtType 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 DeclExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primRetType :: PrimType -> DeclExtType Source # applyRetType :: Typed dec => [DeclExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [DeclExtType] 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 #
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 ExtShape Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: ExtShape -> Doc ann # prettyList :: [ExtShape] -> Doc ann #
Pretty Shape Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Shape -> Doc ann # prettyList :: [Shape] -> Doc ann #
Pretty SubExp Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: SubExp -> Doc ann # prettyList :: [SubExp] -> Doc ann #
ArrayShape (ShapeBase ExtSize) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: ShapeBase ExtSize -> Int Source # subShapeOf :: ShapeBase ExtSize -> ShapeBase ExtSize -> Bool Source #
ArrayShape (ShapeBase SubExp) Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods shapeRank :: ShapeBase SubExp -> Int Source # subShapeOf :: ShapeBase SubExp -> ShapeBase SubExp -> Bool Source #
Simplifiable [FunReturns] Source #
Instance details Defined in Futhark.IR.Mem Methods simplify :: SimplifiableRep rep => [FunReturns] -> SimpleM rep [FunReturns] Source #
Pretty u => Pretty (TypeBase ExtShape u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase ExtShape u -> Doc ann # prettyList :: [TypeBase ExtShape u] -> Doc ann #
Pretty u => Pretty (TypeBase Shape u) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: TypeBase Shape u -> Doc ann # prettyList :: [TypeBase Shape u] -> Doc ann #
FixExt ret => DeclExtTyped (MemInfo ExtSize Uniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods declExtTypeOf :: MemInfo ExtSize Uniqueness ret -> DeclExtType Source #
DeclTyped (MemInfo SubExp Uniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods declTypeOf :: MemInfo SubExp Uniqueness ret -> DeclType Source #
FixExt ret => ExtTyped (MemInfo ExtSize NoUniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods extTypeOf :: MemInfo ExtSize NoUniqueness ret -> ExtType Source #
FixExt ret => ExtTyped (MemInfo ExtSize Uniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods extTypeOf :: MemInfo ExtSize Uniqueness ret -> ExtType Source #
FixExt ret => FixExt (MemInfo ExtSize u ret) Source #
Instance details Defined in Futhark.IR.Mem Methods fixExt :: Int -> SubExp -> MemInfo ExtSize u ret -> MemInfo ExtSize u ret Source # mapExt :: (Int -> Int) -> MemInfo ExtSize u ret -> MemInfo ExtSize u ret Source #
Typed (MemInfo SubExp NoUniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp NoUniqueness ret -> Type Source #
Typed (MemInfo SubExp Uniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp Uniqueness 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

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) #
Functor PatElem Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods fmap :: (a -> b) -> PatElem a -> PatElem b # (<$) :: a -> PatElem b -> PatElem a #
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 #
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 #
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

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) #
Functor Pat Source #
Instance details Defined in Futhark.IR.Syntax Methods fmap :: (a -> b) -> Pat a -> Pat b # (<$) :: a -> Pat b -> Pat a #
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 #
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 #
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 stmAuxDec :: dec

Instances

Instances details

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

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

Show SubExpRes Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> SubExpRes -> ShowS # show :: SubExpRes -> String # showList :: [SubExpRes] -> ShowS #
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 #
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 #

type Result = [SubExpRes] Source #

The result of a body is a sequence of subexpressions.

data Body rep Source #

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

Constructors

Body
Fields bodyDec :: BodyDec rep bodyStms :: Stms rep bodyResult :: Result

Instances

Instances details

RepTypes rep => Show (Body rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> Body rep -> ShowS # show :: Body rep -> String # showList :: [Body rep] -> ShowS #
(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 (Body rep) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Body rep -> FV Source #
Renameable rep => Rename (Body rep) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Body rep -> RenameM (Body rep) Source #
Substitutable rep => Substitute (Body rep) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Body rep -> Body rep Source #
RepTypes rep => Eq (Body rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: Body rep -> Body rep -> Bool # (/=) :: Body rep -> Body rep -> Bool #
RepTypes rep => Ord (Body rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: Body rep -> Body rep -> Ordering # (<) :: Body rep -> Body rep -> Bool # (<=) :: Body rep -> Body rep -> Bool # (>) :: Body rep -> Body rep -> Bool # (>=) :: Body rep -> Body rep -> Bool # max :: Body rep -> Body rep -> Body rep # min :: Body rep -> Body rep -> Body rep #
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 #

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.
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) (SrcLoc, [SrcLoc])	Turn a boolean into a certificate, halting the program with the given error message if the boolean is false.
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 (like `Scatter`).
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 [Int] VName	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 ReshapeKind Shape VName	1st arg is the new shape, 2nd arg is the input array.
Rearrange [Int] VName	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 VName [SubExp] [SubExp]	Update an accumulator at the given index with the given value. Consumes the accumulator and produces a new one.

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

Not	E.g., `! True == False`.
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 negativity infinity. Note: this is different from LLVM.
UDivUp IntType Safety	Unsigned integer division. Rounds towards positive infinity.
SDiv IntType Safety	Signed integer division. Rounds towards negativity infinity. Note: this is different from LLVM.
SDivUp 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.
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 ReshapeKind Source #

Which kind of reshape is this?

Constructors

ReshapeCoerce	New shape is dynamically same as original.
ReshapeArbitrary	Any kind of reshaping.

Instances

Instances details

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

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, SrcLoc, [SrcLoc])
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. 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

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

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) #
Functor Case Source #
Instance details Defined in Futhark.IR.Syntax Methods fmap :: (a -> b) -> Case a -> Case b # (<$) :: a -> Case b -> Case a #
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 #
FreeIn body => FreeIn (Case body) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Case body -> FV Source #
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

Show LoopForm Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> LoopForm -> ShowS # show :: LoopForm -> String # showList :: [LoopForm] -> ShowS #
FreeIn LoopForm Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: LoopForm -> FV Source #
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

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 #
FreeIn a => FreeIn (MatchDec a) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: MatchDec a -> FV Source #
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 Lambda rep Source #

Anonymous function for use in a SOAC.

Constructors

Lambda
Fields lambdaParams :: [LParam rep] lambdaReturnType :: [Type] 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 #
RepTypes rep => Show (Lambda rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods showsPrec :: Int -> Lambda rep -> ShowS # show :: Lambda rep -> String # showList :: [Lambda rep] -> ShowS #
(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 (Lambda rep) Source #
Instance details Defined in Futhark.IR.Prop.Names Methods freeIn' :: Lambda rep -> FV Source #
Renameable rep => Rename (Lambda rep) Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Lambda rep -> RenameM (Lambda rep) Source #
Substitutable rep => Substitute (Lambda rep) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Lambda rep -> Lambda rep Source #
RepTypes rep => Eq (Lambda rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods (==) :: Lambda rep -> Lambda rep -> Bool # (/=) :: Lambda rep -> Lambda rep -> Bool #
RepTypes rep => Ord (Lambda rep) Source #
Instance details Defined in Futhark.IR.Syntax Methods compare :: Lambda rep -> Lambda rep -> Ordering # (<) :: Lambda rep -> Lambda rep -> Bool # (<=) :: Lambda rep -> Lambda rep -> Bool # (>) :: Lambda rep -> Lambda rep -> Bool # (>=) :: Lambda rep -> Lambda rep -> Bool # max :: Lambda rep -> Lambda rep -> Lambda rep # min :: Lambda rep -> Lambda rep -> Lambda rep #
PrettyRep rep => Pretty (Lambda rep) Source #
Instance details Defined in Futhark.IR.Pretty Methods pretty :: Lambda rep -> Doc ann # prettyList :: [Lambda rep] -> Doc ann #

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. otherAls :: [Int] Which of the other results may be aliased, numbered from zero. This must be a reflexive relation.

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

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) #
Functor Param Source #
Instance details Defined in Futhark.IR.Syntax.Core Methods fmap :: (a -> b) -> Param a -> Param b # (<$) :: a -> Param b -> Param a #
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 #
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 #
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 #
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 #
(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 => 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 entryParamUniqueness :: Uniqueness 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 entryResultUniqueness :: Uniqueness 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]) 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 #