-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Yi editor miscellaneous modes
--   
--   Yi editor miscellaneous modes
@package yi-misc-modes
@version 0.19.0

module Yi.Lexer.Abella
lexer :: StyleLexerASI HlState Token
tokenToText :: Token -> Maybe String
type TT = Tok Token
isComment :: Token -> Bool
data Token
Number :: Token
VarIdent :: Token
ConsIdent :: Token
Reserved :: !Reserved -> Token
ReservedOp :: !ReservedOp -> Token
CommentLine :: Token
Skip :: Token
Unrecognized :: Token
type HlState = Int
data Reserved
Forall :: Reserved
Exists :: Reserved
Other :: Reserved
data ReservedOp
Or :: ReservedOp
And :: ReservedOp
BackSlash :: ReservedOp
RightArrow :: ReservedOp
DoubleRightArrow :: ReservedOp
Dot :: ReservedOp
OtherOp :: ReservedOp
instance GHC.Show.Show Yi.Lexer.Abella.Reserved
instance GHC.Classes.Eq Yi.Lexer.Abella.Reserved
instance GHC.Show.Show Yi.Lexer.Abella.ReservedOp
instance GHC.Classes.Eq Yi.Lexer.Abella.ReservedOp
instance GHC.Show.Show Yi.Lexer.Abella.Token
instance GHC.Classes.Eq Yi.Lexer.Abella.Token

module Yi.Lexer.C
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.Cabal
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.Clojure
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.Cplusplus
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.GNUMake
lexer :: StyleLexerASI HlState Token
instance GHC.Show.Show Yi.Lexer.GNUMake.HlState

module Yi.Lexer.GitCommit
lexer :: StyleLexerASI HlState Token
type Token = StyleName
instance GHC.Classes.Eq Yi.Lexer.GitCommit.HlState
instance GHC.Show.Show Yi.Lexer.GitCommit.HlState

module Yi.Lexer.JSON
lexer :: StyleLexerASI HlState Token
type Token = StyleName

module Yi.Lexer.Java
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.Latex
initState :: HlState

-- | Scan one token. Return (maybe) a token and a new state.
alexScanToken :: (AlexState HlState, AlexInput) -> Maybe (Tok Token, (AlexState HlState, AlexInput))
data Token
Comment :: Token
Text :: Token
Special :: !Char -> Token
Command :: !String -> Token
Begin :: !String -> Token
End :: !String -> Token
NewCommand :: Token
type HlState = Int
tokenToText :: Token -> Maybe String
instance GHC.Classes.Ord Yi.Lexer.Latex.Token
instance GHC.Show.Show Yi.Lexer.Latex.Token
instance GHC.Classes.Eq Yi.Lexer.Latex.Token

module Yi.Lexer.OCaml
lexer :: StyleLexerASI HlState Token
data Token
Number :: Token
CharTok :: Token
StringTok :: Token
VarIdent :: Token
ConsIdent :: Token
IndentReserved :: Token
Reserved :: Token
ReservedOp :: Token
Special :: Char -> Token
ConsOperator :: Token
Operator :: Token
Comment :: Token
instance GHC.Show.Show Yi.Lexer.OCaml.Token
instance GHC.Classes.Eq Yi.Lexer.OCaml.Token

module Yi.Lexer.ObjectiveC
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.Ott
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.Perl
lexer :: StyleLexerASI HlState Token
instance GHC.Show.Show Yi.Lexer.Perl.HlState

module Yi.Lexer.Python
lexer :: StyleLexerASI HlState Token
instance GHC.Show.Show Yi.Lexer.Python.HlState
instance GHC.Classes.Eq Yi.Lexer.Python.HlState

module Yi.Lexer.R
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.Ruby
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.SVNCommit
lexer :: StyleLexerASI HlState Token
instance GHC.Show.Show Yi.Lexer.SVNCommit.HlState

module Yi.Lexer.Srmc
lexer :: StyleLexerASI HlState Token

module Yi.Lexer.Whitespace
lexer :: StyleLexerASI HlState Token


-- | <a>Mode</a>s and utility function for working with the Abella
--   interactive theorem prover.
module Yi.Mode.Abella
abellaModeEmacs :: TokenBasedMode Token

-- | Start Abella in a buffer
abella :: CommandArguments -> YiM BufferRef
abellaEval :: YiM ()
abellaEvalFromProofPoint :: YiM ()
abellaUndo :: YiM ()

-- | Return Abella's buffer; create it if necessary. Show it in another
--   window.
abellaGet :: YiM BufferRef

-- | Send a command to Abella
abellaSend :: YiString -> YiM ()
instance Data.Binary.Class.Binary Yi.Mode.Abella.AbellaBuffer
instance Data.Default.Class.Default Yi.Mode.Abella.AbellaBuffer
instance Yi.Types.YiVariable Yi.Mode.Abella.AbellaBuffer


-- | A minimalist emulation of emacs buffer menu mode, to be fleshed out
--   later
module Yi.Mode.Buffers

-- | Retrieve buffer list and open a them in buffer mode using the
--   <a>bufferKeymap</a>.
listBuffers :: YiM ()


-- | Definitions for the bulk of modes shipped with Yi.
module Yi.Modes
cMode :: TokenBasedMode StyleName
objectiveCMode :: TokenBasedMode StyleName
cppMode :: TokenBasedMode StyleName
cabalMode :: TokenBasedMode StyleName
clojureMode :: TokenBasedMode StyleName
srmcMode :: TokenBasedMode StyleName
ocamlMode :: TokenBasedMode Token
ottMode :: TokenBasedMode StyleName
gnuMakeMode :: TokenBasedMode StyleName
perlMode :: TokenBasedMode StyleName
pythonMode :: TokenBasedMode StyleName
javaMode :: TokenBasedMode StyleName
jsonMode :: TokenBasedMode StyleName

-- | When applied to an extensions list, creates a <a>modeApplies</a>
--   function.
anyExtension :: [String] -> FilePath -> a -> Bool
svnCommitMode :: TokenBasedMode StyleName
whitespaceMode :: TokenBasedMode StyleName
gitCommitMode :: TokenBasedMode Token
rubyMode :: TokenBasedMode StyleName

module Yi.Config.Default.MiscModes
configureMiscModes :: ConfigM ()


-- | Parser used by the LaTeX modes.
module Yi.Syntax.Latex
isNoise :: Token -> Bool
type TT = Tok Token
type Expr t = [Tree t]
data Tree t
Paren :: t -> Tree t -> t -> Tree t
Atom :: t -> Tree t
Error :: t -> Tree t
Expr :: Expr t -> Tree t
parse :: P TT (Tree TT)
getStrokes :: Point -> Point -> Point -> Tree TT -> [Stroke]
modStroke :: StyleName -> Stroke -> Stroke
tokenToStroke :: TT -> Stroke
tokenToAnnot :: TT -> Maybe (Span String)
tokenToStyle :: Token -> StyleName
isSpecial :: String -> Token -> Bool
isBegin :: Token -> Bool
isEnd :: Token -> Bool
isErrorTok :: Token -> Bool
instance Data.Foldable.Foldable Yi.Syntax.Latex.Tree
instance GHC.Base.Functor Yi.Syntax.Latex.Tree
instance GHC.Show.Show t => GHC.Show.Show (Yi.Syntax.Latex.Tree t)
instance Yi.Syntax.Tree.IsTree Yi.Syntax.Latex.Tree


-- | Collection of <a>Mode</a>s for working with LaTeX.
module Yi.Mode.Latex

-- | syntax-based latex mode
latexMode3 :: Mode (Tree TT)

-- | syntax-based latex mode
latexMode2 :: Mode (Tree TT)
fastMode :: Mode (Tree TT)
