Highlighting

Main.idh

((((:filename ".\\Highlight\\Main.idr") (:start 1 8) (:end 1 22)) ((:namespace "Highlight.Main") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Main.idr"))) (((:filename ".\\Highlight\\Parser.idr") (:start 1 8) (:end 1 24)) ((:namespace "Highlight.Parser") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Parser.idr"))) (((:filename ".\\Highlight\\Regions.idr") (:start 1 8) (:end 1 25)) ((:namespace "Highlight.Regions") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Regions.idr"))) (((:filename ".\\Highlight\\Regions.idr") (:start 1 8) (:end 1 25)) ((:namespace "Highlight.Regions") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Regions.idr"))) (((:filename ".\\Highlight\\Formats.idr") (:start 1 8) (:end 1 25)) ((:namespace "Highlight.Formats") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Formats.idr"))) (((:filename ".\\Highlight\\Regions.idr") (:start 1 8) (:end 1 25)) ((:namespace "Highlight.Regions") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Regions.idr"))) (((:filename ".\\Highlight\\Main.idr") (:start 1 8) (:end 1 22)) ((:namespace "Highlight.Main") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Main.idr"))) (((:filename ".\\Highlight\\Main.idr") (:start 3 8) (:end 3 24)) ((:namespace "Highlight.Parser") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Parser.idr"))) (((:filename ".\\Highlight\\Main.idr") (:start 4 8) (:end 4 25)) ((:namespace "Highlight.Regions") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Regions.idr"))) (((:filename ".\\Highlight\\Main.idr") (:start 5 8) (:end 5 25)) ((:namespace "Highlight.Formats") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Formats.idr"))) (((:filename ".\\Highlight\\Main.idr") (:start 6 8) (:end 6 25)) ((:namespace "Lightyear.Strings") (:decor :module) (:source-file "C:\\msys64\\home\\Nicolas\\Idris-dev\\.cabal-sandbox\\x86_64-windows-ghc-7.10.1\\idris-0.9.18.1\\lightyear\\Lightyear\\Strings.idr"))) (((:filename ".\\Highlight\\Main.idr") (:start 7 8) (:end 7 21)) ((:namespace "Effect.System") (:decor :module) (:source-file "C:\\msys64\\home\\Nicolas\\Idris-dev\\.cabal-sandbox\\x86_64-windows-ghc-7.10.1\\idris-0.9.18.1\\effects\\Effect\\System.idr"))) (((:filename ".\\Highlight\\Main.idr") (:start 9 9) (:end 9 11)) ((:name "IO") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Type -> Type"))) (((:filename ".\\Highlight\\Main.idr") (:start 9 9) (:end 9 11)) ((:name "IO") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Type -> Type"))) (((:filename ".\\Highlight\\Main.idr") (:start 9 12) (:end 9 14)) ((:name "Unit") (:implicit :False) (:decor :type) (:doc-overview "The canonical single-element type, also known as
the trivially true proposition.") (:type "Type"))) (((:filename ".\\Highlight\\Main.idr") (:start 9 1) (:end 9 6)) ((:name "Highlight.Main.usage") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO ()") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 10 1) (:end 10 6)) ((:name "Highlight.Main.usage") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO ()") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 10 1) (:end 10 6)) ((:name "Highlight.Main.usage") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO ()") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 11 45) (:end 11 47)) ((:name "Prelude.Applicative.*>") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Applicative f => f a -> f b -> f b") (:namespace "Prelude.Applicative"))) (((:filename ".\\Highlight\\Main.idr") (:start 11 45) (:end 11 47)) ((:name "Prelude.Applicative.*>") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Applicative f => f a -> f b -> f b") (:namespace "Prelude.Applicative"))) (((:filename ".\\Highlight\\Main.idr") (:start 10 27) (:end 10 29)) ((:name "Prelude.Applicative.*>") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Applicative f => f a -> f b -> f b") (:namespace "Prelude.Applicative"))) (((:filename ".\\Highlight\\Main.idr") (:start 10 27) (:end 10 29)) ((:name "Prelude.Applicative.*>") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Applicative f => f a -> f b -> f b") (:namespace "Prelude.Applicative"))) (((:filename ".\\Highlight\\Main.idr") (:start 10 9) (:end 10 17)) ((:name "Prelude.Interactive.putStrLn") (:implicit :False) (:decor :function) (:doc-overview "Output a string to stdout with a trailing newline") (:type "String -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 10 9) (:end 10 17)) ((:name "Prelude.Interactive.putStrLn") (:implicit :False) (:decor :function) (:doc-overview "Output a string to stdout with a trailing newline") (:type "String -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 10 18) (:end 10 26)) ((:decor :data) (:type "String") (:doc-overview "A string of length 6") (:name "\"Usage:\""))) (((:filename ".\\Highlight\\Main.idr") (:start 11 9) (:end 11 17)) ((:name "Prelude.Interactive.putStrLn") (:implicit :False) (:decor :function) (:doc-overview "Output a string to stdout with a trailing newline") (:type "String -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 11 9) (:end 11 17)) ((:name "Prelude.Interactive.putStrLn") (:implicit :False) (:decor :function) (:doc-overview "Output a string to stdout with a trailing newline") (:type "String -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 11 18) (:end 11 44)) ((:decor :data) (:type "String") (:doc-overview "A string of length 24") (:name "\"highlight-idris BASENAME\""))) (((:filename ".\\Highlight\\Main.idr") (:start 12 9) (:end 12 17)) ((:name "Prelude.Interactive.putStrLn") (:implicit :False) (:decor :function) (:doc-overview "Output a string to stdout with a trailing newline") (:type "String -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 12 9) (:end 12 17)) ((:name "Prelude.Interactive.putStrLn") (:implicit :False) (:decor :function) (:doc-overview "Output a string to stdout with a trailing newline") (:type "String -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 12 18) (:end 12 118)) ((:decor :data) (:type "String") (:doc-overview "A string of length 98") (:name "\"where BASENAME.idr and BASENAME.idh both exist. The output will be BASENAME.tex and BASENAME.html.\""))) (((:filename ".\\Highlight\\Main.idr") (:start 15 15) (:end 15 17)) ((:name "IO") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Type -> Type"))) (((:filename ".\\Highlight\\Main.idr") (:start 15 15) (:end 15 17)) ((:name "IO") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Type -> Type"))) (((:filename ".\\Highlight\\Main.idr") (:start 15 19) (:end 15 24)) ((:name "Prelude.Maybe.Maybe") (:implicit :False) (:decor :type) (:doc-overview "An optional value. This can be used to represent
the possibility of failure, where a function may
return a value, or not.") (:type "Type -> Type") (:namespace "Prelude.Maybe"))) (((:filename ".\\Highlight\\Main.idr") (:start 15 19) (:end 15 24)) ((:name "Prelude.Maybe.Maybe") (:implicit :False) (:decor :type) (:doc-overview "An optional value. This can be used to represent
the possibility of failure, where a function may
return a value, or not.") (:type "Type -> Type") (:namespace "Prelude.Maybe"))) (((:filename ".\\Highlight\\Main.idr") (:start 15 25) (:end 15 31)) ((:decor :type) (:type "Type") (:doc-overview "Strings in some unspecified encoding") (:name "String"))) (((:filename ".\\Highlight\\Main.idr") (:start 15 1) (:end 15 12)) ((:name "Highlight.Main.getFilename") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO (Maybe String)") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 16 1) (:end 16 12)) ((:name "Highlight.Main.getFilename") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO (Maybe String)") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 16 1) (:end 16 12)) ((:name "Highlight.Main.getFilename") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO (Maybe String)") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 16 21) (:end 16 28)) ((:name "Prelude.Interactive.getArgs") (:implicit :False) (:decor :function) (:doc-overview "Get the command-line arguments that the program
was called with.") (:type "IO (List String)") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 16 21) (:end 16 28)) ((:name "Prelude.Interactive.getArgs") (:implicit :False) (:decor :function) (:doc-overview "Get the command-line arguments that the program
was called with.") (:type "IO (List String)") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 16 29) (:end 16 29)) ((:name "_bindApp0") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 17 17) (:end 17 18)) ((:name "Prelude.List.::") (:implicit :False) (:decor :data) (:doc-overview "A non-empty list, consisting of a head element and
the rest of the list.") (:type "elem -> List elem -> List elem") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 17) (:end 17 18)) ((:name "Prelude.List.::") (:implicit :False) (:decor :data) (:doc-overview "A non-empty list, consisting of a head element and
the rest of the list.") (:type "elem -> List elem -> List elem") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 18) (:end 17 22)) ((:name "prog") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 17 22) (:end 17 23)) ((:name "Prelude.List.::") (:implicit :False) (:decor :data) (:doc-overview "A non-empty list, consisting of a head element and
the rest of the list.") (:type "elem -> List elem -> List elem") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 22) (:end 17 23)) ((:name "Prelude.List.::") (:implicit :False) (:decor :data) (:doc-overview "A non-empty list, consisting of a head element and
the rest of the list.") (:type "elem -> List elem -> List elem") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 24) (:end 17 32)) ((:name "filename") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 17 32) (:end 17 33)) ((:name "Prelude.List.Nil") (:implicit :False) (:decor :data) (:doc-overview "Empty list") (:type "List elem") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 32) (:end 17 33)) ((:name "Prelude.List.Nil") (:implicit :False) (:decor :data) (:doc-overview "Empty list") (:type "List elem") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 16 20) (:end 16 20)) ((:name "_bindApp0") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 17 37) (:end 17 43)) ((:name "Prelude.Monad.return") (:implicit :False) (:decor :function) (:doc-overview "For compatibility with Haskell. Note that monads
are not free to define return and pure
differently!") (:type "Monad m => a -> m a") (:namespace "Prelude.Monad"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 37) (:end 17 43)) ((:name "Prelude.Monad.return") (:implicit :False) (:decor :function) (:doc-overview "For compatibility with Haskell. Note that monads
are not free to define return and pure
differently!") (:type "Monad m => a -> m a") (:namespace "Prelude.Monad"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 45) (:end 17 49)) ((:name "Prelude.Maybe.Just") (:implicit :False) (:decor :data) (:doc-overview "A value of type a is stored") (:type "a -> Maybe a") (:namespace "Prelude.Maybe"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 45) (:end 17 49)) ((:name "Prelude.Maybe.Just") (:implicit :False) (:decor :data) (:doc-overview "A value of type a is stored") (:type "a -> Maybe a") (:namespace "Prelude.Maybe"))) (((:filename ".\\Highlight\\Main.idr") (:start 17 50) (:end 17 58)) ((:name "filename") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 17 50) (:end 17 58)) ((:name "filename") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 16 20) (:end 16 20)) ((:name "_bindApp0") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 18 22) (:end 18 28)) ((:name "Prelude.Monad.return") (:implicit :False) (:decor :function) (:doc-overview "For compatibility with Haskell. Note that monads
are not free to define return and pure
differently!") (:type "Monad m => a -> m a") (:namespace "Prelude.Monad"))) (((:filename ".\\Highlight\\Main.idr") (:start 18 22) (:end 18 28)) ((:name "Prelude.Monad.return") (:implicit :False) (:decor :function) (:doc-overview "For compatibility with Haskell. Note that monads
are not free to define return and pure
differently!") (:type "Monad m => a -> m a") (:namespace "Prelude.Monad"))) (((:filename ".\\Highlight\\Main.idr") (:start 18 29) (:end 18 36)) ((:name "Prelude.Maybe.Nothing") (:implicit :False) (:decor :data) (:doc-overview "No value stored") (:type "Maybe a") (:namespace "Prelude.Maybe"))) (((:filename ".\\Highlight\\Main.idr") (:start 18 29) (:end 18 36)) ((:name "Prelude.Maybe.Nothing") (:implicit :False) (:decor :data) (:doc-overview "No value stored") (:type "Maybe a") (:namespace "Prelude.Maybe"))) (((:filename ".\\Highlight\\Main.idr") (:start 20 8) (:end 20 10)) ((:name "IO") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Type -> Type"))) (((:filename ".\\Highlight\\Main.idr") (:start 20 8) (:end 20 10)) ((:name "IO") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Type -> Type"))) (((:filename ".\\Highlight\\Main.idr") (:start 20 11) (:end 20 13)) ((:name "Unit") (:implicit :False) (:decor :type) (:doc-overview "The canonical single-element type, also known as
the trivially true proposition.") (:type "Type"))) (((:filename ".\\Highlight\\Main.idr") (:start 20 1) (:end 20 5)) ((:name "Highlight.Main.main") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO ()") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 21 1) (:end 21 5)) ((:name "Highlight.Main.main") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO ()") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 21 1) (:end 21 5)) ((:name "Highlight.Main.main") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO ()") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 22 21) (:end 22 32)) ((:name "Highlight.Main.getFilename") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO (Maybe String)") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 22 21) (:end 22 32)) ((:name "Highlight.Main.getFilename") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO (Maybe String)") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 22 21) (:end 22 21)) ((:name "{bpat0}") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 22 8) (:end 22 12)) ((:name "Prelude.Maybe.Just") (:implicit :False) (:decor :data) (:doc-overview "A value of type a is stored") (:type "a -> Maybe a") (:namespace "Prelude.Maybe"))) (((:filename ".\\Highlight\\Main.idr") (:start 22 8) (:end 22 12)) ((:name "Prelude.Maybe.Just") (:implicit :False) (:decor :data) (:doc-overview "A value of type a is stored") (:type "a -> Maybe a") (:namespace "Prelude.Maybe"))) (((:filename ".\\Highlight\\Main.idr") (:start 22 13) (:end 22 16)) ((:name "fn'") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 22 21) (:end 22 21)) ((:name "{bpat0}") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 24 19) (:end 24 29)) ((:name "Prelude.Strings.isSuffixOf") (:implicit :False) (:decor :function) (:doc-overview "") (:type "String -> String -> Bool") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 24 19) (:end 24 29)) ((:name "Prelude.Strings.isSuffixOf") (:implicit :False) (:decor :function) (:doc-overview "") (:type "String -> String -> Bool") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 24 30) (:end 24 36)) ((:decor :data) (:type "String") (:doc-overview "A string of length 4") (:name "\".idh\""))) (((:filename ".\\Highlight\\Main.idr") (:start 24 37) (:end 24 40)) ((:name "fn'") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 24 37) (:end 24 40)) ((:name "fn'") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 25 23) (:end 25 27)) ((:name "Prelude.Strings.pack") (:implicit :False) (:decor :function) (:doc-overview "Turns a Foldable of characters into a string.") (:type "Foldable t => t Char -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 23) (:end 25 27)) ((:name "Prelude.Strings.pack") (:implicit :False) (:decor :function) (:doc-overview "Turns a Foldable of characters into a string.") (:type "Foldable t => t Char -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 29) (:end 25 36)) ((:name "Prelude.List.reverse") (:implicit :False) (:decor :function) (:doc-overview "Return the elements of a list in reverse order.") (:type "List a -> List a") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 29) (:end 25 36)) ((:name "Prelude.List.reverse") (:implicit :False) (:decor :function) (:doc-overview "Return the elements of a list in reverse order.") (:type "List a -> List a") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 38) (:end 25 42)) ((:name "Prelude.List.drop") (:implicit :False) (:decor :function) (:doc-overview "Drop the first n elements of xs") (:type "Nat -> List a -> List a") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 38) (:end 25 42)) ((:name "Prelude.List.drop") (:implicit :False) (:decor :function) (:doc-overview "Drop the first n elements of xs") (:type "Nat -> List a -> List a") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 45) (:end 25 45)) ((:name "Prelude.Classes.fromInteger") (:implicit :False) (:decor :function) (:doc-overview "Conversion from Integer.") (:type "Num a => Integer -> a") (:namespace "Prelude.Classes"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 45) (:end 25 45)) ((:name "Prelude.Classes.fromInteger") (:implicit :False) (:decor :function) (:doc-overview "Conversion from Integer.") (:type "Num a => Integer -> a") (:namespace "Prelude.Classes"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 43) (:end 25 44)) ((:name "Prelude.Nat.S") (:implicit :False) (:decor :data) (:doc-overview "Successor") (:type "Nat -> Nat") (:namespace "Prelude.Nat"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 46) (:end 25 53)) ((:name "Prelude.List.reverse") (:implicit :False) (:decor :function) (:doc-overview "Return the elements of a list in reverse order.") (:type "List a -> List a") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 46) (:end 25 53)) ((:name "Prelude.List.reverse") (:implicit :False) (:decor :function) (:doc-overview "Return the elements of a list in reverse order.") (:type "List a -> List a") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 55) (:end 25 61)) ((:name "Prelude.Strings.unpack") (:implicit :False) (:decor :function) (:doc-overview "Turns a string into a list of characters.") (:type "String -> List Char") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 55) (:end 25 61)) ((:name "Prelude.Strings.unpack") (:implicit :False) (:decor :function) (:doc-overview "Turns a string into a list of characters.") (:type "String -> List Char") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 25 62) (:end 25 65)) ((:name "fn'") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 25 62) (:end 25 65)) ((:name "fn'") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 26 23) (:end 26 26)) ((:name "fn'") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 26 23) (:end 26 26)) ((:name "fn'") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 27 20) (:end 27 22)) ((:name "Prelude.Strings.++") (:implicit :False) (:decor :function) (:doc-overview "Appends two strings together.") (:type "String -> String -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 27 20) (:end 27 22)) ((:name "Prelude.Strings.++") (:implicit :False) (:decor :function) (:doc-overview "Appends two strings together.") (:type "String -> String -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 27 17) (:end 27 19)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 27 17) (:end 27 19)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 27 23) (:end 27 29)) ((:decor :data) (:type "String") (:doc-overview "A string of length 4") (:name "\".idr\""))) (((:filename ".\\Highlight\\Main.idr") (:start 28 20) (:end 28 22)) ((:name "Prelude.Strings.++") (:implicit :False) (:decor :function) (:doc-overview "Appends two strings together.") (:type "String -> String -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 28 20) (:end 28 22)) ((:name "Prelude.Strings.++") (:implicit :False) (:decor :function) (:doc-overview "Appends two strings together.") (:type "String -> String -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 28 17) (:end 28 19)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 28 17) (:end 28 19)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 28 23) (:end 28 29)) ((:decor :data) (:type "String") (:doc-overview "A string of length 4") (:name "\".idh\""))) (((:filename ".\\Highlight\\Main.idr") (:start 29 20) (:end 29 22)) ((:name "Prelude.Strings.++") (:implicit :False) (:decor :function) (:doc-overview "Appends two strings together.") (:type "String -> String -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 29 20) (:end 29 22)) ((:name "Prelude.Strings.++") (:implicit :False) (:decor :function) (:doc-overview "Appends two strings together.") (:type "String -> String -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 29 17) (:end 29 19)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 29 17) (:end 29 19)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 29 23) (:end 29 29)) ((:decor :data) (:type "String") (:doc-overview "A string of length 4") (:name "\".tex\""))) (((:filename ".\\Highlight\\Main.idr") (:start 30 21) (:end 30 23)) ((:name "Prelude.Strings.++") (:implicit :False) (:decor :function) (:doc-overview "Appends two strings together.") (:type "String -> String -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 30 21) (:end 30 23)) ((:name "Prelude.Strings.++") (:implicit :False) (:decor :function) (:doc-overview "Appends two strings together.") (:type "String -> String -> String") (:namespace "Prelude.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 30 18) (:end 30 20)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 30 18) (:end 30 20)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 30 24) (:end 30 31)) ((:decor :data) (:type "String") (:doc-overview "A string of length 5") (:name "\".html\""))) (((:filename ".\\Highlight\\Main.idr") (:start 31 15) (:end 31 23)) ((:name "Prelude.File.readFile") (:implicit :False) (:decor :function) (:doc-overview "Read the contents of a file into a string") (:type "String -> IO String") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 31 15) (:end 31 23)) ((:name "Prelude.File.readFile") (:implicit :False) (:decor :function) (:doc-overview "Read the contents of a file into a string") (:type "String -> IO String") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 31 24) (:end 31 27)) ((:name "idh") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 31 24) (:end 31 27)) ((:name "idh") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 32 12) (:end 32 17)) ((:name "Lightyear.Strings.parse") (:implicit :False) (:decor :function) (:doc-overview "Run a parser against an input string") (:type "Parser a -> String -> Either String a") (:namespace "Lightyear.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 32 12) (:end 32 17)) ((:name "Lightyear.Strings.parse") (:implicit :False) (:decor :function) (:doc-overview "Run a parser against an input string") (:type "Parser a -> String -> Either String a") (:namespace "Lightyear.Strings"))) (((:filename ".\\Highlight\\Main.idr") (:start 32 18) (:end 32 22)) ((:name "Highlight.Parser.expr") (:implicit :False) (:decor :function) (:doc-overview "Parse a whole S-expression") (:type "Parser SExpr") (:namespace "Highlight.Parser"))) (((:filename ".\\Highlight\\Main.idr") (:start 32 18) (:end 32 22)) ((:name "Highlight.Parser.expr") (:implicit :False) (:decor :function) (:doc-overview "Parse a whole S-expression") (:type "Parser SExpr") (:namespace "Highlight.Parser"))) (((:filename ".\\Highlight\\Main.idr") (:start 32 23) (:end 32 27)) ((:name "info") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 32 23) (:end 32 27)) ((:name "info") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 31 7) (:end 31 11)) ((:name "info") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 30 11) (:end 30 15)) ((:name "html") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 29 11) (:end 29 14)) ((:name "tex") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 28 11) (:end 28 14)) ((:name "idh") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 27 11) (:end 27 14)) ((:name "idr") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 24 11) (:end 24 13)) ((:name "fn") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 33 9) (:end 33 13)) ((:name "Prelude.Either.Left") (:implicit :False) (:decor :data) (:doc-overview "One possibility of the sum, conventionally used to
represent errors") (:type "a -> Either a b") (:namespace "Prelude.Either"))) (((:filename ".\\Highlight\\Main.idr") (:start 33 9) (:end 33 13)) ((:name "Prelude.Either.Left") (:implicit :False) (:decor :data) (:doc-overview "One possibility of the sum, conventionally used to
represent errors") (:type "a -> Either a b") (:namespace "Prelude.Either"))) (((:filename ".\\Highlight\\Main.idr") (:start 33 14) (:end 33 17)) ((:name "err") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 33 24) (:end 33 32)) ((:name "Prelude.Interactive.putStrLn") (:implicit :False) (:decor :function) (:doc-overview "Output a string to stdout with a trailing newline") (:type "String -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 33 24) (:end 33 32)) ((:name "Prelude.Interactive.putStrLn") (:implicit :False) (:decor :function) (:doc-overview "Output a string to stdout with a trailing newline") (:type "String -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 33 33) (:end 33 36)) ((:name "err") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 33 33) (:end 33 36)) ((:name "err") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 32 12) (:end 32 12)) ((:name "idr") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 32 12) (:end 32 12)) ((:name "tex") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 32 12) (:end 32 12)) ((:name "html") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 34 9) (:end 34 14)) ((:name "Prelude.Either.Right") (:implicit :False) (:decor :data) (:doc-overview "The other possibility, conventionally used to
represent success") (:type "b -> Either a b") (:namespace "Prelude.Either"))) (((:filename ".\\Highlight\\Main.idr") (:start 34 9) (:end 34 14)) ((:name "Prelude.Either.Right") (:implicit :False) (:decor :data) (:doc-overview "The other possibility, conventionally used to
represent success") (:type "b -> Either a b") (:namespace "Prelude.Either"))) (((:filename ".\\Highlight\\Main.idr") (:start 34 16) (:end 34 21)) ((:name "Highlight.Parser.SList") (:implicit :False) (:decor :data) (:doc-overview "") (:type "List SExpr -> SExpr") (:namespace "Highlight.Parser"))) (((:filename ".\\Highlight\\Main.idr") (:start 34 16) (:end 34 21)) ((:name "Highlight.Parser.SList") (:implicit :False) (:decor :data) (:doc-overview "") (:type "List SExpr -> SExpr") (:namespace "Highlight.Parser"))) (((:filename ".\\Highlight\\Main.idr") (:start 34 22) (:end 34 24)) ((:name "xs") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 35 24) (:end 35 29)) ((:name "Highlight.Parser.mkHls") (:implicit :False) (:decor :function) (:doc-overview "") (:type "List (Region SExpr) -> List (Region HighlightType)") (:namespace "Highlight.Parser"))) (((:filename ".\\Highlight\\Main.idr") (:start 35 24) (:end 35 29)) ((:name "Highlight.Parser.mkHls") (:implicit :False) (:decor :function) (:doc-overview "") (:type "List (Region SExpr) -> List (Region HighlightType)") (:namespace "Highlight.Parser"))) (((:filename ".\\Highlight\\Main.idr") (:start 35 32) (:end 35 41)) ((:name "Prelude.List.catMaybes") (:implicit :False) (:decor :function) (:doc-overview "") (:type "List (Maybe a) -> List a") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 35 32) (:end 35 41)) ((:name "Prelude.List.catMaybes") (:implicit :False) (:decor :function) (:doc-overview "") (:type "List (Maybe a) -> List a") (:namespace "Prelude.List"))) (((:filename ".\\Highlight\\Main.idr") (:start 35 44) (:end 35 47)) ((:name "Prelude.Functor.map") (:implicit :False) (:decor :function) (:doc-overview "The action of the functor on morphisms") (:type "Functor f => (a -> b) -> f a -> f b") (:namespace "Prelude.Functor"))) (((:filename ".\\Highlight\\Main.idr") (:start 35 44) (:end 35 47)) ((:name "Prelude.Functor.map") (:implicit :False) (:decor :function) (:doc-overview "The action of the functor on morphisms") (:type "Functor f => (a -> b) -> f a -> f b") (:namespace "Prelude.Functor"))) (((:filename ".\\Highlight\\Main.idr") (:start 35 48) (:end 35 61)) ((:name "Highlight.Parser.getRegionMeta") (:implicit :False) (:decor :function) (:doc-overview "") (:type "SExpr -> Maybe (Region SExpr)") (:namespace "Highlight.Parser"))) (((:filename ".\\Highlight\\Main.idr") (:start 35 48) (:end 35 61)) ((:name "Highlight.Parser.getRegionMeta") (:implicit :False) (:decor :function) (:doc-overview "") (:type "SExpr -> Maybe (Region SExpr)") (:namespace "Highlight.Parser"))) (((:filename ".\\Highlight\\Main.idr") (:start 35 62) (:end 35 64)) ((:name "xs") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 35 62) (:end 35 64)) ((:name "xs") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 36 25) (:end 36 33)) ((:name "Prelude.File.openFile") (:implicit :False) (:decor :function) (:doc-overview "Open a file") (:type "String -> Mode -> IO File") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 36 25) (:end 36 33)) ((:name "Prelude.File.openFile") (:implicit :False) (:decor :function) (:doc-overview "Open a file") (:type "String -> Mode -> IO File") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 36 34) (:end 36 37)) ((:name "tex") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 36 34) (:end 36 37)) ((:name "tex") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 36 38) (:end 36 43)) ((:name "Prelude.File.Write") (:implicit :False) (:decor :data) (:doc-overview "") (:type "Mode") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 36 38) (:end 36 43)) ((:name "Prelude.File.Write") (:implicit :False) (:decor :data) (:doc-overview "") (:type "Mode") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 48) (:end 37 56)) ((:name "Prelude.File.readFile") (:implicit :False) (:decor :function) (:doc-overview "Read the contents of a file into a string") (:type "String -> IO String") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 48) (:end 37 56)) ((:name "Prelude.File.readFile") (:implicit :False) (:decor :function) (:doc-overview "Read the contents of a file into a string") (:type "String -> IO String") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 57) (:end 37 60)) ((:name "idr") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 37 57) (:end 37 60)) ((:name "idr") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 37 14) (:end 37 20)) ((:name "Prelude.File.fwrite") (:implicit :False) (:decor :function) (:doc-overview "") (:type "File -> String -> IO ()") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 14) (:end 37 20)) ((:name "Prelude.File.fwrite") (:implicit :False) (:decor :function) (:doc-overview "") (:type "File -> String -> IO ()") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 21) (:end 37 28)) ((:name "texFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 37 21) (:end 37 28)) ((:name "texFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 37 30) (:end 37 39)) ((:name "Highlight.Formats.highlight") (:implicit :False) (:decor :function) (:doc-overview "Apply highlighting to a source file for some
output format") (:type "Format ->
String -> List (Region HighlightType) -> String") (:namespace "Highlight.Formats"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 30) (:end 37 39)) ((:name "Highlight.Formats.highlight") (:implicit :False) (:decor :function) (:doc-overview "Apply highlighting to a source file for some
output format") (:type "Format ->
String -> List (Region HighlightType) -> String") (:namespace "Highlight.Formats"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 40) (:end 37 45)) ((:name "Highlight.Formats.LaTeX") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Format") (:namespace "Highlight.Formats"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 40) (:end 37 45)) ((:name "Highlight.Formats.LaTeX") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Format") (:namespace "Highlight.Formats"))) (((:filename ".\\Highlight\\Main.idr") (:start 37 57) (:end 37 57)) ((:name "_bindApp0") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 37 62) (:end 37 65)) ((:name "hls") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 37 62) (:end 37 65)) ((:name "hls") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 38 14) (:end 38 23)) ((:name "Prelude.File.closeFile") (:implicit :False) (:decor :function) (:doc-overview "") (:type "File -> IO ()") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 38 14) (:end 38 23)) ((:name "Prelude.File.closeFile") (:implicit :False) (:decor :function) (:doc-overview "") (:type "File -> IO ()") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 38 24) (:end 38 31)) ((:name "texFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 38 24) (:end 38 31)) ((:name "texFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 39 26) (:end 39 34)) ((:name "Prelude.File.openFile") (:implicit :False) (:decor :function) (:doc-overview "Open a file") (:type "String -> Mode -> IO File") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 39 26) (:end 39 34)) ((:name "Prelude.File.openFile") (:implicit :False) (:decor :function) (:doc-overview "Open a file") (:type "String -> Mode -> IO File") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 39 35) (:end 39 39)) ((:name "html") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 39 35) (:end 39 39)) ((:name "html") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 39 40) (:end 39 45)) ((:name "Prelude.File.Write") (:implicit :False) (:decor :data) (:doc-overview "") (:type "Mode") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 39 40) (:end 39 45)) ((:name "Prelude.File.Write") (:implicit :False) (:decor :data) (:doc-overview "") (:type "Mode") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 48) (:end 40 56)) ((:name "Prelude.File.readFile") (:implicit :False) (:decor :function) (:doc-overview "Read the contents of a file into a string") (:type "String -> IO String") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 48) (:end 40 56)) ((:name "Prelude.File.readFile") (:implicit :False) (:decor :function) (:doc-overview "Read the contents of a file into a string") (:type "String -> IO String") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 57) (:end 40 60)) ((:name "idr") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 40 57) (:end 40 60)) ((:name "idr") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 40 14) (:end 40 20)) ((:name "Prelude.File.fwrite") (:implicit :False) (:decor :function) (:doc-overview "") (:type "File -> String -> IO ()") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 14) (:end 40 20)) ((:name "Prelude.File.fwrite") (:implicit :False) (:decor :function) (:doc-overview "") (:type "File -> String -> IO ()") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 21) (:end 40 29)) ((:name "htmlFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 40 21) (:end 40 29)) ((:name "htmlFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 40 31) (:end 40 40)) ((:name "Highlight.Formats.highlight") (:implicit :False) (:decor :function) (:doc-overview "Apply highlighting to a source file for some
output format") (:type "Format ->
String -> List (Region HighlightType) -> String") (:namespace "Highlight.Formats"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 31) (:end 40 40)) ((:name "Highlight.Formats.highlight") (:implicit :False) (:decor :function) (:doc-overview "Apply highlighting to a source file for some
output format") (:type "Format ->
String -> List (Region HighlightType) -> String") (:namespace "Highlight.Formats"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 41) (:end 40 45)) ((:name "Highlight.Formats.HTML") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Format") (:namespace "Highlight.Formats"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 41) (:end 40 45)) ((:name "Highlight.Formats.HTML") (:implicit :False) (:decor :function) (:doc-overview "") (:type "Format") (:namespace "Highlight.Formats"))) (((:filename ".\\Highlight\\Main.idr") (:start 40 57) (:end 40 57)) ((:name "_bindApp013") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 40 62) (:end 40 65)) ((:name "hls") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 40 62) (:end 40 65)) ((:name "hls") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 41 14) (:end 41 23)) ((:name "Prelude.File.closeFile") (:implicit :False) (:decor :function) (:doc-overview "") (:type "File -> IO ()") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 41 14) (:end 41 23)) ((:name "Prelude.File.closeFile") (:implicit :False) (:decor :function) (:doc-overview "") (:type "File -> IO ()") (:namespace "Prelude.File"))) (((:filename ".\\Highlight\\Main.idr") (:start 41 24) (:end 41 32)) ((:name "htmlFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 41 24) (:end 41 32)) ((:name "htmlFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 39 14) (:end 39 22)) ((:name "htmlFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 36 14) (:end 36 21)) ((:name "texFile") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 35 18) (:end 35 21)) ((:name "hls") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 42 9) (:end 42 14)) ((:name "Prelude.Either.Right") (:implicit :False) (:decor :data) (:doc-overview "The other possibility, conventionally used to
represent success") (:type "b -> Either a b") (:namespace "Prelude.Either"))) (((:filename ".\\Highlight\\Main.idr") (:start 42 9) (:end 42 14)) ((:name "Prelude.Either.Right") (:implicit :False) (:decor :data) (:doc-overview "The other possibility, conventionally used to
represent success") (:type "b -> Either a b") (:namespace "Prelude.Either"))) (((:filename ".\\Highlight\\Main.idr") (:start 42 15) (:end 42 19)) ((:name "meta") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 43 11) (:end 43 18)) ((:name "Prelude.Interactive.printLn") (:implicit :False) (:decor :function) (:doc-overview "Output something showable to stdout, with a
trailing newline") (:type "Show a => a -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 43 11) (:end 43 18)) ((:name "Prelude.Interactive.printLn") (:implicit :False) (:decor :function) (:doc-overview "Output something showable to stdout, with a
trailing newline") (:type "Show a => a -> IO' ffi ()") (:namespace "Prelude.Interactive"))) (((:filename ".\\Highlight\\Main.idr") (:start 43 19) (:end 43 23)) ((:name "meta") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 43 19) (:end 43 23)) ((:name "meta") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 22 21) (:end 22 21)) ((:name "{bpat0}") (:decor :bound) (:implicit :False))) (((:filename ".\\Highlight\\Main.idr") (:start 23 17) (:end 23 22)) ((:name "Highlight.Main.usage") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO ()") (:namespace "Highlight.Main"))) (((:filename ".\\Highlight\\Main.idr") (:start 23 17) (:end 23 22)) ((:name "Highlight.Main.usage") (:implicit :False) (:decor :function) (:doc-overview "") (:type "IO ()") (:namespace "Highlight.Main"))))