ats-format-0.1.0.3: A source-code formatter for ATS

Index

AbsPropLanguage.ATS
AbsTypeLanguage.ATS
AbsViewTypeLanguage.ATS
AccessLanguage.ATS
ActionsLanguage.ATS
AndDLanguage.ATS
AndDeclLanguage.ATS
armsLanguage.ATS
AsProofLanguage.ATS
AtLanguage.ATS
AtExprLanguage.ATS
ATS 
1 (Type/Class)Language.ATS
2 (Data Constructor)Language.ATS
BeginLanguage.ATS
BinaryLanguage.ATS
BoolLanguage.ATS
BoolLitLanguage.ATS
CallLanguage.ATS
CaseLanguage.ATS
CBlockLanguage.ATS
CharLanguage.ATS
CharLitLanguage.ATS
CommentLanguage.ATS
ConcreteTypeLanguage.ATS
condLanguage.ATS
DataPropLanguage.ATS
DeclarationLanguage.ATS
DefineLanguage.ATS
DependentLanguage.ATS
DependentBoolLanguage.ATS
DependentIntLanguage.ATS
DepStringLanguage.ATS
DerefLanguage.ATS
DoubleLanguage.ATS
elseExprLanguage.ATS
ExLanguage.ATS
execLanguage.ATS
ExpressionLanguage.ATS
ExternLanguage.ATS
fieldLanguage.ATS
FieldMutateLanguage.ATS
FloatLanguage.ATS
FloatLitLanguage.ATS
ForALanguage.ATS
FromVTLanguage.ATS
FuncLanguage.ATS
FunctionTypeLanguage.ATS
IfLanguage.ATS
ImplLanguage.ATS
IncludeLanguage.ATS
IndexLanguage.ATS
IntLanguage.ATS
IntLitLanguage.ATS
kindLanguage.ATS
LambdaLanguage.ATS
LetLanguage.ATS
lexATSLanguage.ATS
LinearLambdaLanguage.ATS
LocalLanguage.ATS
MaybeValLanguage.ATS
MutateLanguage.ATS
NamedLanguage.ATS
NamedValLanguage.ATS
NatLanguage.ATS
newLanguage.ATS
oldLanguage.ATS
OverloadOpLanguage.ATS
parseATSLanguage.ATS
posELanguage.ATS
PrecedeLanguage.ATS
printATSLanguage.ATS
ProofExprLanguage.ATS
ProofImplLanguage.ATS
ProofTypeLanguage.ATS
PrValLanguage.ATS
RecordTypeLanguage.ATS
RecordValueLanguage.ATS
RecordViewTypeLanguage.ATS
RefLanguage.ATS
RefTypeLanguage.ATS
selseExprLanguage.ATS
SifLanguage.ATS
SortDefLanguage.ATS
StadefLanguage.ATS
StaloadLanguage.ATS
StringLanguage.ATS
StringLitLanguage.ATS
SumTypeLanguage.ATS
SumViewTypeLanguage.ATS
T0pLanguage.ATS
TimeLitLanguage.ATS
TKindLanguage.ATS
TupleLanguage.ATS
TupleExLanguage.ATS
TypeLanguage.ATS
TypeDefLanguage.ATS
TypeSignatureLanguage.ATS
UnaryLanguage.ATS
unATSLanguage.ATS
UnconsumedLanguage.ATS
UnderscoreLitLanguage.ATS
ValLanguage.ATS
valLanguage.ATS
VarLanguage.ATS
ViewExprLanguage.ATS
ViewTypeLanguage.ATS
ViewTypeDefLanguage.ATS
VoidLanguage.ATS
VoidLiteralLanguage.ATS
Vt0pLanguage.ATS
whenTrueLanguage.ATS
WhereExpLanguage.ATS
WhileLanguage.ATS