Index - S
| sameCohesion | FreeC.Backend.Agda.Syntax |
| sameHiding | FreeC.Backend.Agda.Syntax |
| sameModality | FreeC.Backend.Agda.Syntax |
| sameName | FreeC.Backend.Agda.Syntax |
| sameQuantity | FreeC.Backend.Agda.Syntax |
| sameRelevance | FreeC.Backend.Agda.Syntax |
| sameRoot | FreeC.Backend.Agda.Syntax |
| saveConfig | FreeC.Util.Config |
| scan | FreeC.Frontend.IR.Scanner |
| SChar | FreeC.Pretty |
| Scope | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| ScopedName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| Section | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| SectionApp | FreeC.Backend.Agda.Syntax |
| SectionSentence | FreeC.Backend.Coq.Syntax |
| selectBinders | FreeC.Backend.Coq.Base |
| selectExplicitArgs | FreeC.Backend.Coq.Base |
| selectImplicitArgs | FreeC.Backend.Coq.Base |
| selectSubterm | FreeC.IR.Subterm |
| selectSubterm' | FreeC.IR.Subterm |
| selectTypedBinders | FreeC.Backend.Coq.Base |
| selectTypedImplicitArgs | FreeC.Backend.Coq.Base |
| Semi | FreeC.Frontend.IR.Token |
| semi | FreeC.Pretty |
| semiBraces | FreeC.Pretty |
| SEmpty | FreeC.Pretty |
| Sentence | FreeC.Backend.Coq.Syntax |
| sep | FreeC.Pretty |
| Set | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| set | FreeC.Backend.Agda.Syntax |
| setArgInfo | FreeC.Backend.Agda.Syntax |
| setCohesion | FreeC.Backend.Agda.Syntax |
| setCohesionMod | FreeC.Backend.Agda.Syntax |
| setFreeVariables | FreeC.Backend.Agda.Syntax |
| setFreeVariablesArgInfo | FreeC.Backend.Agda.Syntax |
| setHiding | FreeC.Backend.Agda.Syntax |
| setHidingArgInfo | FreeC.Backend.Agda.Syntax |
| setImportedName | FreeC.Backend.Agda.Syntax |
| setInScope | FreeC.Backend.Agda.Syntax |
| setIntervalFile | FreeC.Backend.Agda.Syntax |
| setModality | FreeC.Backend.Agda.Syntax |
| setModalityArgInfo | FreeC.Backend.Agda.Syntax |
| SetN | FreeC.Backend.Agda.Syntax |
| setNamedArg | FreeC.Backend.Agda.Syntax |
| setNameOf | FreeC.Backend.Agda.Syntax |
| setNotInScope | FreeC.Backend.Agda.Syntax |
| SetOption | FreeC.Backend.Coq.Syntax |
| setOption | FreeC.Backend.Coq.Syntax |
| setOrigin | FreeC.Backend.Agda.Syntax |
| setOriginArgInfo | FreeC.Backend.Agda.Syntax |
| setQuantity | FreeC.Backend.Agda.Syntax |
| setQuantityMod | FreeC.Backend.Agda.Syntax |
| SetRange | FreeC.Backend.Agda.Syntax |
| setRange | FreeC.Backend.Agda.Syntax |
| setRelevance | FreeC.Backend.Agda.Syntax |
| setRelevanceMod | FreeC.Backend.Agda.Syntax |
| SettingName | FreeC.Backend.Coq.Syntax |
| Severity | FreeC.Monad.Reporter |
| shadowVarPats | FreeC.Monad.Converter |
| shape | |
| 1 (Function) | FreeC.Backend.Coq.Base |
| 2 (Function) | FreeC.Backend.Agda.Base |
| shapeIdent | FreeC.Backend.Coq.Base |
| Share | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| share | FreeC.Backend.Coq.Base |
| shareableArgs | FreeC.Backend.Coq.Base |
| shareableArgsBinder | FreeC.Backend.Coq.Base |
| shareArgs | FreeC.Backend.Coq.Base |
| shareWith | FreeC.Backend.Coq.Base |
| Sharing | FreeC.LiftedIR.Effect |
| showPretty | FreeC.Pretty |
| sigFixity | FreeC.Backend.Coq.Syntax |
| Signature | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| sigType | FreeC.Backend.Coq.Syntax |
| Similar | FreeC.IR.Similar |
| similar | FreeC.IR.Similar |
| SimpleDoc | FreeC.Pretty |
| simpleImport | FreeC.Backend.Agda.Syntax |
| Simplifier | FreeC.Frontend.Haskell.Simplifier |
| simplifyExpr | FreeC.Frontend.Haskell.Simplifier |
| simplifyModuleBody | FreeC.Frontend.Haskell.Simplifier |
| simplifyModuleHeadWithComments | FreeC.Frontend.Haskell.Simplifier |
| simplifyModuleWithComments | FreeC.Frontend.Haskell.Simplifier |
| simplifyType | FreeC.Frontend.Haskell.Simplifier |
| simplifyTypeScheme | FreeC.Frontend.Haskell.Simplifier |
| singleSubst | FreeC.IR.Subst |
| singleSubst' | FreeC.IR.Subst |
| size | |
| 1 (Function) | FreeC.Backend.Agda.Base |
| 2 (Function) | FreeC.Backend.Agda.Converter.Size |
| SLine | FreeC.Pretty |
| SmartCon | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| SModAssociativity | FreeC.Backend.Coq.Syntax |
| SModIdentLevel | FreeC.Backend.Coq.Syntax |
| sModIdentLevel | FreeC.Backend.Coq.Syntax |
| SModLevel | FreeC.Backend.Coq.Syntax |
| sModLevel | FreeC.Backend.Coq.Syntax |
| SModOnlyParsing | FreeC.Backend.Coq.Syntax |
| SModOnlyPrinting | FreeC.Backend.Coq.Syntax |
| softbreak | FreeC.Pretty |
| softline | FreeC.Pretty |
| SomeWhere | FreeC.Backend.Agda.Syntax |
| Sort | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| sortLetExprs | FreeC.Pass.LetSortPass |
| sortType | FreeC.Backend.Coq.Syntax |
| sortTypeSynDecls | FreeC.Backend.Coq.Converter.TypeDecl |
| space | FreeC.Pretty |
| spacebreak | FreeC.Pretty |
| spanAllowedBeforeModule | FreeC.Backend.Agda.Syntax |
| spansMultipleLines | FreeC.IR.SrcSpan |
| specialSymbols | FreeC.Frontend.IR.Token |
| splitFuncType | |
| 1 (Function) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Function) | FreeC.Pass.TypeSignaturePass |
| Squash | FreeC.Backend.Agda.Syntax |
| squote | FreeC.Pretty |
| squotes | FreeC.Pretty |
| SrcFile | |
| 1 (Type/Class) | FreeC.IR.SrcSpan |
| 2 (Data Constructor) | FreeC.IR.SrcSpan |
| 3 (Type/Class) | FreeC.Backend.Agda.Syntax |
| srcFile | FreeC.Backend.Agda.Syntax |
| srcFileContents | FreeC.IR.SrcSpan |
| srcFileLines | FreeC.IR.SrcSpan |
| SrcFileMap | FreeC.IR.SrcSpan |
| srcFileName | FreeC.IR.SrcSpan |
| SrcSpan | |
| 1 (Type/Class) | FreeC.IR.SrcSpan |
| 2 (Data Constructor) | FreeC.IR.SrcSpan |
| srcSpanCodeLines | FreeC.IR.SrcSpan |
| srcSpanEndColumn | FreeC.IR.SrcSpan |
| srcSpanEndLine | FreeC.IR.SrcSpan |
| srcSpanFile | FreeC.IR.SrcSpan |
| srcSpanStartColumn | FreeC.IR.SrcSpan |
| srcSpanStartLine | FreeC.IR.SrcSpan |
| startPos | FreeC.Backend.Agda.Syntax |
| startPos' | FreeC.Backend.Agda.Syntax |
| StaticPragma | FreeC.Backend.Agda.Syntax |
| SText | FreeC.Pretty |
| strategy | FreeC.Backend.Coq.Base |
| strategyArg | FreeC.Backend.Coq.Base |
| strategyBinder | FreeC.Backend.Coq.Base |
| String | FreeC.Backend.Coq.Syntax |
| string | |
| 1 (Function) | FreeC.Backend.Coq.Syntax |
| 2 (Function) | FreeC.Pretty |
| StringLiteral | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| stringLiteral | FreeC.Backend.Agda.Syntax |
| stringLiteralValue | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| stringNameParts | FreeC.Backend.Agda.Syntax |
| StringPat | FreeC.Backend.Coq.Syntax |
| stringScope | FreeC.Backend.Coq.Base |
| stringStrict | FreeC.Pretty |
| stringToArgName | FreeC.Backend.Agda.Syntax |
| stringToRawName | FreeC.Backend.Agda.Syntax |
| StripExprType | FreeC.IR.Strip |
| stripExprType | FreeC.IR.Strip |
| StrippedType | |
| 1 (Type/Class) | FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances |
| 2 (Data Constructor) | FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances |
| StrippedTypeCon | FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances |
| StrToken | FreeC.Frontend.IR.Token |
| StructOrder | FreeC.Backend.Coq.Syntax |
| subPipelinePass | FreeC.Pass |
| Subst | FreeC.IR.Subst |
| Substitution | FreeC.Backend.Agda.Syntax |
| substWithout | FreeC.IR.Subst |
| Symbol | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
| SymmetricIf | FreeC.Backend.Coq.Syntax |
| Syntax | FreeC.Backend.Agda.Syntax |
| SyntaxBindingLambda | FreeC.Backend.Agda.Syntax |
| SyntaxModifier | FreeC.Backend.Coq.Syntax |