Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Lib.Window

Documentation

data WindowL i a Source #

Constructors

ZerWindowL a
OneWindowL 𝔹 a i a

Instances

Instances details

(Lift i, Lift a) => Lift (WindowL i a :: Type) Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => WindowL i a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => WindowL i a -> Code m (WindowL i a) #
ToIter a (WindowL a a) Source #
Instance details Defined in UVMHS.Lib.Window Methods iter :: WindowL a a -> 𝐼 a Source #
(Show i, Show a) => Show (WindowL i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods showsPrec :: Int -> WindowL i a -> ShowS # show :: WindowL i a -> String # showList :: [WindowL i a] -> ShowS #
(Eq i, Eq a) => Eq (WindowL i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods (==) :: WindowL i a -> WindowL i a -> Bool # (/=) :: WindowL i a -> WindowL i a -> Bool #
(Ord i, Ord a) => Ord (WindowL i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods compare :: WindowL i a -> WindowL i a -> Ordering # (<) :: WindowL i a -> WindowL i a -> Bool # (<=) :: WindowL i a -> WindowL i a -> Bool # (>) :: WindowL i a -> WindowL i a -> Bool # (>=) :: WindowL i a -> WindowL i a -> Bool # max :: WindowL i a -> WindowL i a -> WindowL i a # min :: WindowL i a -> WindowL i a -> WindowL i a #
Append a => Append (WindowL i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods (⧺) :: WindowL i a -> WindowL i a -> WindowL i a Source #
Monoid a => Monoid (WindowL i a) Source #
Instance details Defined in UVMHS.Lib.Window
Null a => Null (WindowL i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods null :: WindowL i a Source #
(Pretty a, Pretty 𝔹, Pretty i) => Pretty (WindowL i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods pretty :: WindowL i a -> Doc Source #

eWindowL :: a -> WindowL i a Source #

iWindowL :: Null a => i -> WindowL i a Source #

overflowL :: WindowL i a -> 𝔹 Source #

mapWindowL :: (i -> j) -> (a -> b) -> WindowL i a -> WindowL j b Source #

data WindowR i a Source #

Constructors

ZerWindowR a
OneWindowR 𝔹 a i a

Instances

Instances details

(Lift i, Lift a) => Lift (WindowR i a :: Type) Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => WindowR i a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => WindowR i a -> Code m (WindowR i a) #
ToIter a (WindowR a a) Source #
Instance details Defined in UVMHS.Lib.Window Methods iter :: WindowR a a -> 𝐼 a Source #
(Show i, Show a) => Show (WindowR i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods showsPrec :: Int -> WindowR i a -> ShowS # show :: WindowR i a -> String # showList :: [WindowR i a] -> ShowS #
(Eq i, Eq a) => Eq (WindowR i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods (==) :: WindowR i a -> WindowR i a -> Bool # (/=) :: WindowR i a -> WindowR i a -> Bool #
(Ord i, Ord a) => Ord (WindowR i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods compare :: WindowR i a -> WindowR i a -> Ordering # (<) :: WindowR i a -> WindowR i a -> Bool # (<=) :: WindowR i a -> WindowR i a -> Bool # (>) :: WindowR i a -> WindowR i a -> Bool # (>=) :: WindowR i a -> WindowR i a -> Bool # max :: WindowR i a -> WindowR i a -> WindowR i a # min :: WindowR i a -> WindowR i a -> WindowR i a #
Append a => Append (WindowR i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods (⧺) :: WindowR i a -> WindowR i a -> WindowR i a Source #
Monoid a => Monoid (WindowR i a) Source #
Instance details Defined in UVMHS.Lib.Window
Null a => Null (WindowR i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods null :: WindowR i a Source #
(Pretty a, Pretty 𝔹, Pretty i) => Pretty (WindowR i a) Source #
Instance details Defined in UVMHS.Lib.Window Methods pretty :: WindowR i a -> Doc Source #

eWindowR :: a -> WindowR i a Source #

iWindowR :: Null a => i -> WindowR i a Source #

overflowR :: WindowR i a -> 𝔹 Source #

mapWindowR :: (i -> j) -> (a -> b) -> WindowR i a -> WindowR j b Source #

renderWindowL :: WindowL Doc Doc -> Doc Source #

renderWindowR :: WindowR Doc Doc -> Doc Source #