(module pict mzscheme
  (require "private/pict.ss"
           "private/core-layout.ss"
           "private/loc-wrapper.ss"
           "reduction-semantics.ss"
           (lib "mred.ss" "mred")
           (lib "mrpict.ss" "texpict")
           (lib "contract.ss"))
  
  (provide/contract 
   [reduction-relation->pict (-> reduction-relation? pict?)]
   [reduction-relation->ps (-> reduction-relation?
                               (union string? path?)
                               void?)]
   [language->pict
    (-> compiled-lang? 
        (or/c false/c (cons/c symbol? (listof symbol?)))
        pict?)]
   [language->ps
    (-> compiled-lang?
        (or/c false/c (cons/c symbol? (listof symbol?)))
        (union path? string?)
        void?)]
   [extend-language-show-union (parameter/c boolean?)])
  
  ; syntax
  (provide metafunction->pict
           metafunction->ps)
  
  (provide/contract
   [current-text (parameter/c (-> string? text-style/c number? pict?))])
  
  (provide/contract
   [label-style (parameter/c text-style/c)]
   [literal-style (parameter/c text-style/c)]
   [metafunction-style (parameter/c text-style/c)]
   [default-style (parameter/c text-style/c)]
   [non-terminal-style (parameter/c text-style/c)]
   [non-terminal-subscript-style (parameter/c text-style/c)]
   [linebreaks (parameter/c (or/c false/c (listof boolean?)))]
   [curly-quotes-for-strings (parameter/c boolean?)])

  (provide/contract
   [rule-pict-style 
    (parameter/c (symbols 'compact-vertical
                          'vertical 
                          'vertical-overlapping-side-conditions
                          'horizontal))])
  
  (provide/contract
   [label-font-size (parameter/c (and/c (between/c 1 255) integer?))]
   [default-font-size (parameter/c (and/c (between/c 1 255) integer?))]
   [metafunction-font-size (parameter/c (and/c (between/c 1 255) integer?))])

  (provide
   build-loc-wrapper
   loc-wrapper?
   loc-wrapper-e
   loc-wrapper-line
   loc-wrapper-line-span
   loc-wrapper-column
   loc-wrapper-column-span)
  
  (provide/contract
   [just-before (-> (or/c pict? string?) loc-wrapper? loc-wrapper?)]
   [just-after (-> (or/c pict? string?) loc-wrapper? loc-wrapper?)])
  (provide with-unquote-rewriter
           with-compound-rewriter
           with-atomic-rewriter)
  
  (provide/contract
   [set-arrow-pict! (-> symbol? (-> pict?) void?)]))