Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/include/packages/xhtml/Text/XHtml/Internals.hi

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


interface Text.XHtml.Internals where {
infixr  2 +++;
infixr  7 <<;
infixl  8 !;

{-# NEED #-}
instance ADDATTRS Html;

{-# NEED #-}
instance (ADDATTRS b) => ADDATTRS (a -> b);

{-# NEED #-}
instance HTML Html;

{-# NEED #-}
instance HTML Prelude.Char;

{-# NEED #-}
instance (HTML a) => HTML [a];

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Fractional (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.RealFrac (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Num (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Real (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Enum (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Read a,Prelude.Integral a) => Prelude.Read (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Ord (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Eq (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Functor NHC.Internal.IO;

{-# NEED #-}
instance Prelude.Monad NHC.Internal.IO;

{-# NEED #-}
instance Prelude.Show Html;

{-# NEED #-}
instance Prelude.Show HtmlAttr;

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Show (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Show a) => Prelude.Show (NHC.Internal.IO a);

{-# NEED #-}
instance Data.Monoid.Monoid Html;

{-# NEED #-}
instance (Data.Monoid.Monoid a,Data.Monoid.Monoid b) => Data.Monoid.Monoid (a,b);

{-# NEED #-}
instance Data.Monoid.Monoid Prelude.Ordering;

{-# NEED #-}
instance (Data.Monoid.Monoid a) => Data.Monoid.Monoid (Prelude.Maybe a);

{-# NEED #-}
instance Data.Monoid.Monoid ();

{-# NEED #-}
instance Data.Monoid.Monoid [a];

{-# NEED #-}
instance (Data.Monoid.Monoid b) => Data.Monoid.Monoid (a -> b);
interface Ratio
{-# NEED Ratio #-}
data Ratio a;
interface NHC.Internal
{-# NEED IO #-}
newtype {-#  #-} IO a;

{-# NEED World #-}
data World;
interface Data.Monoid
{-# NEED Monoid #-}
class Monoid a;
interface ! Text.XHtml.Internals
{-# NEED validHtmlITags #-}
validHtmlITags{-# 0 #-}::[Prelude.String];

{-# NEED renderEndTag #-}
renderEndTag{-# 3 #-}::(Prelude.String -> (Prelude.String -> Prelude.ShowS));

{-# NEED renderTag #-}
renderTag{-# 5 #-}::(Prelude.Bool -> (Prelude.String -> ([HtmlAttr] -> (Prelude.String -> Prelude.ShowS))));

{-# NEED prettyHtml' #-}
prettyHtml'{-# 1 #-}::(HtmlElement -> [Prelude.String]);

{-# NEED renderHtml' #-}
renderHtml'{-# 2 #-}::(Prelude.Int -> (HtmlElement -> Prelude.ShowS));

{-# NEED showHtml' #-}
showHtml'{-# 1 #-}::(HtmlElement -> Prelude.ShowS);

{-# NEED prettyHtmlFragment #-}
prettyHtmlFragment{-# 0 #-}::(HTML a) => (a -> Prelude.String);

{-# NEED renderHtmlFragment #-}
renderHtmlFragment{-# 1 #-}::(HTML a) => (a -> Prelude.String);

{-# NEED showHtmlFragment #-}
showHtmlFragment{-# 1 #-}::(HTML a) => (a -> Prelude.String);

{-# NEED prettyHtmlInternal #-}
prettyHtmlInternal{-# 2 #-}::(HTML a) => (Prelude.String -> (a -> Prelude.String));

{-# NEED renderHtmlInternal #-}
renderHtmlInternal{-# 2 #-}::(HTML a) => (Prelude.String -> (a -> Prelude.String));

{-# NEED showHtmlInternal #-}
showHtmlInternal{-# 2 #-}::(HTML a) => (Prelude.String -> (a -> Prelude.String));

{-# NEED mkHtml #-}
mkHtml{-# 0 #-}::(HTML a) => (a -> Html);

{-# NEED primHtml #-}
primHtml{-# 1 #-}::(Prelude.String -> Html);

{-# NEED stringToHtmlString #-}
stringToHtmlString{-# 0 #-}::(Prelude.String -> Prelude.String);

{-# NEED strAttr #-}
strAttr{-# 2 #-}::(Prelude.String -> (Prelude.String -> HtmlAttr));

{-# NEED intAttr #-}
intAttr{-# 2 #-}::(Prelude.String -> (Prelude.Int -> HtmlAttr));

{-# NEED emptyAttr #-}
emptyAttr{-# 1 #-}::(Prelude.String -> HtmlAttr);

{-# NEED itag #-}
itag{-# 1 #-}::(Prelude.String -> Html);

{-# NEED tag #-}
tag{-# 2 #-}::(Prelude.String -> (Html -> Html));

{-# NEED isNoHtml #-}
isNoHtml{-# 1 #-}::(Html -> Prelude.Bool);

{-# NEED noHtml #-}
noHtml{-# 0 #-}::Html;

{-# NEED (+++) #-}
(+++){-# 2 #-}::(HTML a,HTML b) => (a -> (b -> Html));

{-# NEED concatHtml #-}
concatHtml{-# 1 #-}::(HTML a) => ([a] -> Html);

{-# NEED (<<) #-}
(<<){-# 2 #-}::(HTML b) => ((Html -> a) -> (b -> a));

{-# NEED {ADDATTRS (!)} #-}
class ADDATTRS a where {
  (!){-# 2 #-}::(a -> ([HtmlAttr] -> a));
};

{-# NEED {HTML toHtmlFromList toHtml} #-}
class HTML a where {
  toHtmlFromList{-# 1 #-}::([a] -> Html);
  toHtml{-# 1 #-}::(a -> Html);
};

{-# NEED {HtmlElement HtmlString HtmlTag markupTag markupAttrs markupContent} {Html Html getHtmlElements} #-}
data HtmlElement
  = HtmlString Prelude.String
  | HtmlTag {markupTag :: Prelude.String} {markupAttrs :: [HtmlAttr]} {markupContent :: Html};
newtype {-#  #-} Html
  = Html {getHtmlElements :: [HtmlElement]};

{-# NEED {HtmlAttr HtmlAttr} #-}
data HtmlAttr
  = HtmlAttr Prelude.String Prelude.String;
}

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to webmaster@9p.io.