Contents
Index
ats-format-0.1.3.3: A source-code formatter for ATS
Index
AbsProp
Language.ATS
AbsT0p
Language.ATS
AbsType
Language.ATS
AbsView
Language.ATS
AbsViewType
Language.ATS
AbsVT0p
Language.ATS
Access
Language.ATS
Actions
Language.ATS
Add
Language.ATS
Addendum
Language.ATS
Addr
Language.ATS
AddrAt
Language.ATS
AlexPn
Language.ATS
AlexPosn
Language.ATS
And
Language.ATS
AndD
Language.ATS
AndDecl
Language.ATS
AnonymousRecord
Language.ATS
Arg
1 (Type/Class)
Language.ATS
2 (Data Constructor)
Language.ATS
args
Language.ATS
arms
Language.ATS
Arrow
Language.ATS
AsProof
Language.ATS
Assume
Language.ATS
At
Language.ATS
AtExpr
Language.ATS
AtPattern
Language.ATS
ATS
1 (Type/Class)
Language.ATS
2 (Data Constructor)
Language.ATS
ATSError
Language.ATS
Begin
Language.ATS
Binary
Language.ATS
BinList
Language.ATS
BinOp
Language.ATS
Bool
Language.ATS
BoolLit
Language.ATS
BoolTok
Language.ATS
Both
Language.ATS
bound
Language.ATS
boundE
Language.ATS
Call
Language.ATS
Case
Language.ATS
CastFn
Language.ATS
CBlock
Language.ATS
CBlockLex
Language.ATS
Char
Language.ATS
CharLit
Language.ATS
CharTok
Language.ATS
Comment
Language.ATS
CommentLex
Language.ATS
ConcreteType
Language.ATS
cond
Language.ATS
constructorArgs
Language.ATS
constructorUniversals
Language.ATS
DataProp
Language.ATS
DataPropLeaf
1 (Type/Class)
Language.ATS
2 (Data Constructor)
Language.ATS
Declaration
Language.ATS
Define
Language.ATS
Dependent
Language.ATS
DependentBool
Language.ATS
DependentInt
Language.ATS
DepString
Language.ATS
Deref
Language.ATS
Div
Language.ATS
Double
Language.ATS
DoubleBracesTok
Language.ATS
DoubleBracketTok
Language.ATS
DoubleParenTok
Language.ATS
elseExpr
Language.ATS
Equal
Language.ATS
Ex
Language.ATS
exec
Language.ATS
Existential
1 (Type/Class)
Language.ATS
2 (Data Constructor)
Language.ATS
ExistentialPattern
Language.ATS
Expression
Language.ATS
expression
Language.ATS
Extern
Language.ATS
field
Language.ATS
FieldMutate
Language.ATS
First
Language.ATS
FixAt
Language.ATS
Fixity
Language.ATS
FixityDecl
Language.ATS
FixityTok
Language.ATS
Float
Language.ATS
FloatLit
Language.ATS
FloatTok
Language.ATS
Fn
Language.ATS
fname
Language.ATS
Fnx
Language.ATS
ForA
Language.ATS
Free
Language.ATS
FromVT
Language.ATS
Full
Language.ATS
Fun
Language.ATS
Func
Language.ATS
Function
Language.ATS
FunctionType
Language.ATS
Functorial
Language.ATS
FuncType
Language.ATS
GreaterThan
Language.ATS
GreaterThanEq
Language.ATS
Guarded
Language.ATS
iArgs
Language.ATS
Identifier
Language.ATS
IdentifierSpace
Language.ATS
iExpression
Language.ATS
If
Language.ATS
Impl
Language.ATS
Implement
Language.ATS
Implementation
Language.ATS
ImplicitType
Language.ATS
Include
Language.ATS
Index
Language.ATS
Int
Language.ATS
IntLit
Language.ATS
IntTok
Language.ATS
isOpen
Language.ATS
Keyword
1 (Data Constructor)
Language.ATS
2 (Type/Class)
Language.ATS
kind
Language.ATS
KwAbsprop
Language.ATS
KwAbst0p
Language.ATS
KwAbstype
Language.ATS
KwAbsview
Language.ATS
KwAbsvt0p
Language.ATS
KwAbsvtype
Language.ATS
KwAddr
Language.ATS
KwAddrAt
Language.ATS
KwAnd
Language.ATS
KwAssume
Language.ATS
KwBegin
Language.ATS
KwBool
Language.ATS
KwCase
Language.ATS
KwCastfn
Language.ATS
KwChar
Language.ATS
KwDataprop
Language.ATS
KwDatatype
Language.ATS
KwDataview
Language.ATS
KwDatavtype
Language.ATS
KwElse
Language.ATS
KwEnd
Language.ATS
KwExtern
Language.ATS
KwFixAt
Language.ATS
KwFn
Language.ATS
KwFnx
Language.ATS
KwFun
Language.ATS
KwIf
Language.ATS
KwImplement
Language.ATS
KwIn
Language.ATS
KwInclude
Language.ATS
KwInfix
Language.ATS
KwInfixl
Language.ATS
KwInfixr
Language.ATS
KwInt
Language.ATS
KwLambda
Language.ATS
KwLambdaAt
Language.ATS
KwLet
Language.ATS
KwLinearLambda
Language.ATS
KwListLit
Language.ATS
KwLocal
Language.ATS
KwMod
Language.ATS
KwNat
Language.ATS
KwOf
Language.ATS
KwOverload
Language.ATS
KwPraxi
Language.ATS
KwPrfn
Language.ATS
KwPrfun
Language.ATS
KwProofImplement
Language.ATS
KwPropdef
Language.ATS
KwPrval
Language.ATS
KwRaise
Language.ATS
KwSif
Language.ATS
KwSortdef
Language.ATS
KwSta
Language.ATS
KwStacst
Language.ATS
KwStadef
Language.ATS
KwStaload
Language.ATS
KwString
Language.ATS
KwSymintr
Language.ATS
KwT0p
Language.ATS
KwThen
Language.ATS
KwTKind
Language.ATS
KwType
Language.ATS
KwTypedef
Language.ATS
KwVal
Language.ATS
KwVar
Language.ATS
KwView
Language.ATS
KwViewAt
Language.ATS
KwViewdef
Language.ATS
KwVoid
Language.ATS
KwVt0p
Language.ATS
KwVtypedef
Language.ATS
KwWhen
Language.ATS
KwWhere
Language.ATS
KwWhile
Language.ATS
KwWith
Language.ATS
Lambda
Language.ATS
LambdaAt
Language.ATS
LambdaType
Language.ATS
Leaf
1 (Type/Class)
Language.ATS
2 (Data Constructor)
Language.ATS
leaves
Language.ATS
LeftFix
Language.ATS
LessThan
Language.ATS
LessThanEq
Language.ATS
Let
Language.ATS
lexATS
Language.ATS
LinearLambda
Language.ATS
ListLiteral
Language.ATS
Local
Language.ATS
LogicalAnd
Language.ATS
LogicalOr
Language.ATS
MacroBlock
Language.ATS
maybeType
Language.ATS
MaybeVal
Language.ATS
Minus
Language.ATS
Mod
Language.ATS
Mult
Language.ATS
Mutate
Language.ATS
Name
Language.ATS
name
Language.ATS
Named
Language.ATS
NamedVal
Language.ATS
nameI
Language.ATS
Nat
Language.ATS
Negate
Language.ATS
new
Language.ATS
NoArgs
Language.ATS
None
Language.ATS
NoneType
Language.ATS
NotEqual
Language.ATS
old
Language.ATS
Operator
Language.ATS
OverloadIdent
Language.ATS
OverloadOp
Language.ATS
Paired
Language.ATS
ParenExpr
Language.ATS
parseATS
Language.ATS
Pattern
Language.ATS
Plain
Language.ATS
PLiteral
Language.ATS
Plus
Language.ATS
PName
Language.ATS
pos
Language.ATS
posE
Language.ATS
Post
Language.ATS
Praxi
Language.ATS
Pre
Language.ATS
Precede
Language.ATS
PrecedeList
Language.ATS
PreF
Language.ATS
PreFunction
Language.ATS
preUniversals
Language.ATS
preUniversalsI
Language.ATS
PrfArg
Language.ATS
PrFn
Language.ATS
PrFun
Language.ATS
printATS
Language.ATS
printATSCustom
Language.ATS
printATSFast
Language.ATS
Proof
Language.ATS
ProofExpr
Language.ATS
ProofImpl
Language.ATS
ProofType
Language.ATS
prop
Language.ATS
PropDef
Language.ATS
propE
Language.ATS
PrVal
Language.ATS
PSum
Language.ATS
Qualified
Language.ATS
RecordValue
Language.ATS
RefType
Language.ATS
returnType
Language.ATS
RightFix
Language.ATS
SCall
Language.ATS
scond
Language.ATS
Second
Language.ATS
selseExpr
Language.ATS
Sif
Language.ATS
sig
Language.ATS
SignatureTok
Language.ATS
SortDef
Language.ATS
Spear
Language.ATS
Special
Language.ATS
SpecialBracket
Language.ATS
SpecialName
Language.ATS
SPrecede
Language.ATS
Stacst
Language.ATS
Stadef
Language.ATS
Staload
Language.ATS
StaticBinary
Language.ATS
StaticBool
Language.ATS
StaticEq
Language.ATS
StaticExpression
Language.ATS
StaticInt
Language.ATS
StaticVal
Language.ATS
StaticVoid
Language.ATS
StaVal
Language.ATS
String
Language.ATS
StringLit
Language.ATS
StringTok
Language.ATS
Sub
Language.ATS
SumType
Language.ATS
SumViewType
Language.ATS
SymIntr
Language.ATS
T0p
Language.ATS
termetric
Language.ATS
TimeLit
Language.ATS
TimeTok
Language.ATS
TKind
Language.ATS
Token
Language.ATS
Tuple
Language.ATS
TupleEx
Language.ATS
TuplePattern
Language.ATS
Type
Language.ATS
typeArgs
Language.ATS
TypeDef
Language.ATS
typeE
Language.ATS
typeName
Language.ATS
TypeSignature
Language.ATS
typeU
Language.ATS
Unary
Language.ATS
unATS
Language.ATS
Unconsumed
Language.ATS
UnderscoreLit
Language.ATS
Universal
1 (Type/Class)
Language.ATS
2 (Data Constructor)
Language.ATS
UniversalPattern
Language.ATS
universals
Language.ATS
universalsI
Language.ATS
Unnamed
Language.ATS
UnOp
Language.ATS
Unqualified
Language.ATS
Val
Language.ATS
val
Language.ATS
Var
Language.ATS
ViewAt
Language.ATS
ViewDef
Language.ATS
ViewLiteral
Language.ATS
ViewType
Language.ATS
ViewTypeDef
Language.ATS
Void
Language.ATS
VoidLiteral
Language.ATS
Vt0p
Language.ATS
whenTrue
Language.ATS
WhereExp
Language.ATS
While
Language.ATS
Wildcard
Language.ATS
wwhenTrue
Language.ATS
_constructorUniversals
Language.ATS
_exprs
Language.ATS
_leaves
Language.ATS
_op
Language.ATS