/ test-package /

Copy path to clipboard

Exported files:

• AsText.dhall
• ImportAsType.dhall :

  ./MarkdownExample.dhall
  
  
  

• InvalidBlockComment.dhall
• InvalidConsecutiveComments.dhall
• InvalidMarkdown.dhall
• JumpToDefOnUnused.dhall
• JumpToHereImports.dhall
• JumpToLamBindingComplex.dhall
• JumpToLamBindingSimple.dhall
• JumpToLamBindingWithIndex.dhall
• JumpToLamBindingWithQuotes.dhall
• JumpToLamBindingWithShadowing.dhall
• JumpToLetBindingSimple.dhall
• JumpToLetBindingWithIndex.dhall
• JumpToLetBindingWithQuotes.dhall
• JumpToLetBindingWithShadowing.dhall
• JumpToLetbindingComplex.dhall
• JumpToRecordFieldWhenFieldDoesNotExist.dhall
• JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall
• JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall
• JumpToRecordFieldWhenVarIsOfRecordType.dhall
• JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall
• JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall
• JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall
• JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall
• JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall
• JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall
• JumpToSelf.dhall
• JumpToUrls.dhall
• MarkdownExample.dhall
• MultilineIndentationExample.dhall :

  {}
  
  

• NoDoc.dhall
• NonDhallDocsCommentAfterValid.dhall
• OrdinaryAnnotation.dhall :

  Natural
  
  

• Pair.dhall :

  ∀(A : Type) → ∀(B : Type) → Type
  
  

• Plain.txt
• RenderTypeIndexesExample.dhall :

  Bool
  
  

• TwoAnnotations.dhall :

  y
  
  

• package.dhall

Exported packages:

• a/