69225
|
1 |
{- GENERATED by Isabelle! -}
|
|
2 |
{- Title: Haskell/Tools/Markup.hs
|
|
3 |
Author: Makarius
|
|
4 |
LICENSE: BSD 3-clause (Isabelle)
|
|
5 |
|
|
6 |
Quasi-abstract markup elements.
|
|
7 |
-}
|
|
8 |
|
|
9 |
module Isabelle.Markup (T, empty, is_empty, Output, no_output)
|
|
10 |
where
|
|
11 |
|
|
12 |
import qualified Isabelle.Properties as Properties
|
|
13 |
|
|
14 |
|
|
15 |
type T = (String, Properties.T)
|
|
16 |
|
|
17 |
empty :: T
|
|
18 |
empty = ("", [])
|
|
19 |
|
|
20 |
is_empty :: T -> Bool
|
|
21 |
is_empty ("", _) = True
|
|
22 |
is_empty _ = False
|
|
23 |
|
|
24 |
|
|
25 |
type Output = (String, String)
|
|
26 |
|
|
27 |
no_output :: Output
|
|
28 |
no_output = ("", "")
|