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

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


interface Text.XHtml.Frameset.Attributes where {

{-# 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.Integral a) => Prelude.Show (Ratio.Ratio a);

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

{-# NEED #-}
instance Prelude.Show Text.XHtml.Internals.HtmlAttr;
interface Ratio
{-# NEED Ratio #-}
data Ratio a;
interface NHC.Internal
{-# NEED IO #-}
newtype {-#  #-} IO a;

{-# NEED World #-}
data World;
interface ! Text.XHtml.Frameset.Attributes
{-# NEED scrolling #-}
scrolling{-# 0 #-}::(Prelude.String -> Text.XHtml.Internals.HtmlAttr);

{-# NEED noresize #-}
noresize{-# 0 #-}::Text.XHtml.Internals.HtmlAttr;

{-# NEED marginwidth #-}
marginwidth{-# 0 #-}::(Prelude.Int -> Text.XHtml.Internals.HtmlAttr);

{-# NEED marginheight #-}
marginheight{-# 0 #-}::(Prelude.Int -> Text.XHtml.Internals.HtmlAttr);

{-# NEED frameborder #-}
frameborder{-# 0 #-}::(Prelude.Int -> Text.XHtml.Internals.HtmlAttr);
interface Text.XHtml.Internals
{-# NEED HtmlAttr #-}
data HtmlAttr;
}

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.