Documentation

debug :: Bool Source #

parsingEnv :: ParsingEnv Identity Source #

typecheckingEnv :: Env Symbol Ann Source #

parsedFile :: UnisonFile Symbol Ann Source #

typecheckedFile :: TypecheckedUnisonFile Symbol Ann Source #

typecheckedFile' :: TypecheckedUnisonFile Symbol Ann Source #

typecheckedFileTerms :: Map Symbol Reference Source #

termNamed :: String -> Reference Source #

codeLookup :: CodeLookup Symbol Identity Ann Source #

codeLookupM :: Applicative m => CodeLookup Symbol m Ann Source #

typeNamedId :: String -> Id Source #

typeNamed :: String -> Reference Source #

abilityNamedId :: String -> Id Source #

eitherReference :: Reference Source #

optionReference :: Reference Source #

isTestReference :: Reference Source #

isPropagatedReference :: Reference Source #

isTest :: (Reference, Reference) Source #

isIOTest :: (Reference, Reference) Source #

isPropagatedValue :: Reference Source #

eitherLeftId :: ConstructorId Source #

eitherRightId :: ConstructorId Source #

someId :: ConstructorId Source #

noneId :: ConstructorId Source #

authorRef :: Reference Source #

guidRef :: Reference Source #

copyrightHolderRef :: Reference Source #

doc2Ref :: Reference Source #

doc2SpecialFormRef :: Reference Source #

doc2TermRef :: Reference Source #

prettyRef :: Reference Source #

prettyAnnotatedRef :: Reference Source #

ansiColorRef :: Reference Source #

consoleTextRef :: Reference Source #

pattern Doc2Ref :: Reference Source #

doc2WordId :: ConstructorId Source #

doc2CodeId :: ConstructorId Source #

doc2CodeBlockId :: ConstructorId Source #

doc2BoldId :: ConstructorId Source #

doc2ItalicId :: ConstructorId Source #

doc2StrikethroughId :: ConstructorId Source #

doc2StyleId :: ConstructorId Source #

doc2AnchorId :: ConstructorId Source #

doc2BlockquoteId :: ConstructorId Source #

doc2BlanklineId :: ConstructorId Source #

doc2LinebreakId :: ConstructorId Source #

doc2SectionBreakId :: ConstructorId Source #

doc2TooltipId :: ConstructorId Source #

doc2AsideId :: ConstructorId Source #

doc2CalloutId :: ConstructorId Source #

doc2TableId :: ConstructorId Source #

doc2FoldedId :: ConstructorId Source #

doc2ParagraphId :: ConstructorId Source #

doc2BulletedListId :: ConstructorId Source #

doc2NumberedListId :: ConstructorId Source #

doc2SectionId :: ConstructorId Source #

doc2NamedLinkId :: ConstructorId Source #

doc2ImageId :: ConstructorId Source #

doc2SpecialId :: ConstructorId Source #

doc2JoinId :: ConstructorId Source #

doc2UntitledSectionId :: ConstructorId Source #

doc2ColumnId :: ConstructorId Source #

doc2GroupId :: ConstructorId Source #

doc2MediaSourceRef :: Reference Source #

pattern Doc2MediaSourceRef :: Reference Source #

doc2VideoRef :: Reference Source #

pattern Doc2VideoRef :: Reference Source #

doc2FrontMatterRef :: Reference Source #

pattern Doc2FrontMatterRef :: Reference Source #

doc2LaTeXInlineRef :: Reference Source #

pattern Doc2LaTeXInlineRef :: Reference Source #

doc2SvgRef :: Reference Source #

pattern Doc2SvgRef :: Reference Source #

pattern Doc2Word :: Text -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Code :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2CodeBlock :: Text -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Bold :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Italic :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Strikethrough :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Style :: Text -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Anchor :: Text -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Blockquote :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Blankline :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Linebreak :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SectionBreak :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Tooltip :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Aside :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Callout :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Table :: [Term (F typeVar typeAnn patternAnn) v a] -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Folded :: Bool -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Paragraph :: [Term (F typeVar typeAnn patternAnn) v a] -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2BulletedList :: [Term (F typeVar typeAnn patternAnn) v a] -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2NumberedList :: Word64 -> [Term (F typeVar typeAnn patternAnn) v a] -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Section :: Term2 typeVar typeAnn patternAnn v a -> [Term (F typeVar typeAnn patternAnn) v a] -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2NamedLink :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Image :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2Special :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Join :: [Term (F typeVar typeAnn patternAnn) v a] -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2UntitledSection :: [Term (F typeVar typeAnn patternAnn) v a] -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Column :: [Term (F typeVar typeAnn patternAnn) v a] -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Group :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormRef :: Reference Source #

doc2SpecialFormSourceId :: ConstructorId Source #

doc2SpecialFormFoldedSourceId :: ConstructorId Source #

doc2SpecialFormExampleId :: ConstructorId Source #

doc2SpecialFormExampleBlockId :: ConstructorId Source #

doc2SpecialFormLinkId :: ConstructorId Source #

doc2SpecialFormSignatureId :: ConstructorId Source #

doc2SpecialFormSignatureInlineId :: ConstructorId Source #

doc2SpecialFormEvalId :: ConstructorId Source #

doc2SpecialFormEvalInlineId :: ConstructorId Source #

doc2SpecialFormEmbedId :: ConstructorId Source #

doc2SpecialFormEmbedInlineId :: ConstructorId Source #

pattern Doc2SpecialFormSource :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormFoldedSource :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormExample :: Word64 -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2SpecialFormExampleBlock :: Word64 -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2SpecialFormLink :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormSignature :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormSignatureInline :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormEval :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormEvalInline :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormEmbed :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormEmbedInline :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2MediaSource :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern Doc2SpecialFormEmbedVideo :: [Term (F typeVar typeAnn patternAnn) v a] -> [Term (F typeVar typeAnn patternAnn) v a] -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormEmbedFrontMatter :: [Term (F typeVar typeAnn patternAnn) v a] -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormEmbedLaTeXInline :: Text -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2SpecialFormEmbedSvg :: Text -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2Example :: forall {vt} {at} {ap} {v} {a}. [v] -> Term2 vt at ap v a -> Term (F vt at ap) v a Source #

pattern Doc2Term :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern Doc2TermRef :: Reference Source #

pattern PrettyAnnotatedRef :: Reference Source #

prettyEmptyId :: ConstructorId Source #

prettyGroupId :: ConstructorId Source #

prettyLitId :: ConstructorId Source #

prettyWrapId :: ConstructorId Source #

prettyOrElseId :: ConstructorId Source #

prettyIndentId :: ConstructorId Source #

prettyAppendId :: ConstructorId Source #

prettyTableId :: ConstructorId Source #

pattern PrettyEmpty :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern PrettyGroup :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern PrettyLit :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern PrettyWrap :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern PrettyIndent :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern PrettyOrElse :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern PrettyTable :: Term2 typeVar typeAnn patternAnn v a -> Seq (Term (F typeVar typeAnn patternAnn) v a) -> Term2 typeVar typeAnn patternAnn v a Source #

pattern PrettyAppend :: Term2 typeVar typeAnn patternAnn v a -> Seq (Term (F typeVar typeAnn patternAnn) v a) -> Term2 typeVar typeAnn patternAnn v a Source #

pattern PrettyRef :: Reference Source #

prettyGetRef :: Reference Source #

doc2FormatConsoleRef :: Reference Source #

pattern AnsiColorRef :: Reference Source #

ansiColorBlackId :: ConstructorId Source #

pattern AnsiColorBlack :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorRed :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorGreen :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorYellow :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBlue :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorMagenta :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorCyan :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorWhite :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBrightBlack :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBrightRed :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBrightGreen :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBrightYellow :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBrightBlue :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBrightMagenta :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBrightCyan :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern AnsiColorBrightWhite :: Term (F typeVar typeAnn patternAnn) v a Source #

pattern ConsoleTextRef :: Reference Source #

consoleTextPlainId :: ConstructorId Source #

consoleTextForegroundId :: ConstructorId Source #

consoleTextBackgroundId :: ConstructorId Source #

consoleTextBoldId :: ConstructorId Source #

consoleTextUnderlineId :: ConstructorId Source #

consoleTextInvertId :: ConstructorId Source #

pattern ConsoleTextPlain :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern ConsoleTextForeground :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern ConsoleTextBackground :: Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a -> Term2 typeVar typeAnn patternAnn v a Source #

pattern ConsoleTextBold :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern ConsoleTextUnderline :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

pattern ConsoleTextInvert :: Term (F typeVar typeAnn patternAnn) v a -> Term (F typeVar typeAnn patternAnn) v a Source #

iarrayFromListRef :: Reference Source #

ibarrayFromBytesRef :: Reference Source #

constructorNamed :: Reference -> Text -> ConstructorId Source #

constructorName :: Reference -> ConstructorId -> Text Source #

sourceString :: String Source #

source :: Text Source #

type Note = Note Symbol Ann Source #

type TFile = TypecheckedUnisonFile Symbol Ann Source #

type SynthResult = Result (Seq Note) (Either (UnisonFile Symbol Ann) TFile) Source #

type EitherResult = Either String TFile Source #

showNotes :: Foldable f => String -> Env -> f Note -> String Source #

ppEnv :: PrettyPrintEnv Source #