Safe Haskell	Safe-Inferred
Language	Haskell2010

Symantic.Semantics.Viewer

Documentation

data Viewer a where Source #

Constructors

Viewer :: (ViewerEnv -> ShowS) -> Viewer a
ViewerUnifix :: Unifix -> String -> String -> Viewer (a -> b)
ViewerInfix :: Infix -> String -> String -> Viewer (a -> b -> c)
ViewerApp :: Viewer (b -> a) -> Viewer b -> Viewer a

Instances

Instances details

Abstractable Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods lam :: (Viewer a -> Viewer b) -> Viewer (a -> b) Source # lam1 :: (Viewer a -> Viewer b) -> Viewer (a -> b) Source # var :: Viewer a -> Viewer a Source #
Anythingable Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods anything :: Viewer a -> Viewer a Source #
Bottomable Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods bottom :: Viewer a Source #
Eitherable Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods either :: Viewer ((l -> a) -> (r -> a) -> Either l r -> a) Source # left :: Viewer (l -> Either l r) Source # right :: Viewer (r -> Either l r) Source #
Equalable Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods equal :: Eq a => Viewer (a -> a -> Bool) Source #
Listable Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods cons :: Viewer (a -> [a] -> [a]) Source # nil :: Viewer [a] Source #
Maybeable Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods nothing :: Viewer (Maybe a) Source # just :: Viewer (a -> Maybe a) Source #
Unabstractable Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods (.@) :: Viewer (a -> b) -> Viewer a -> Viewer b Source #
LiftDerived Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods liftDerived :: Derived Viewer a -> Viewer a Source #
Show c => Constantable c Viewer Source #
Instance details Defined in Symantic.Semantics.Viewer Methods constant :: c -> Viewer c Source #
IsString (Viewer a) Source #
Instance details Defined in Symantic.Semantics.Viewer Methods fromString :: String -> Viewer a #
Show (Viewer a) Source #
Instance details Defined in Symantic.Semantics.Viewer Methods showsPrec :: Int -> Viewer a -> ShowS # show :: Viewer a -> String # showList :: [Viewer a] -> ShowS #
Show (SomeData Viewer a) Source #
Instance details Defined in Symantic.Semantics.Viewer Methods showsPrec :: Int -> SomeData Viewer a -> ShowS # show :: SomeData Viewer a -> String # showList :: [SomeData Viewer a] -> ShowS #
type Derived Viewer Source #	Unusual, but enables to leverage default definition of methods.
Instance details Defined in Symantic.Semantics.Viewer type Derived Viewer = Viewer

runViewer :: Viewer a -> ViewerEnv -> ShowS Source #

data ViewerEnv Source #

Constructors

ViewerEnv
Fields viewEnv_op :: (Infix, Side) viewEnv_pair :: Pair viewEnv_lamDepth :: Int

pairViewer :: ViewerEnv -> Infix -> ShowS -> ShowS Source #

viewLam :: String -> (Viewer a -> Viewer b) -> Viewer (a -> b) Source #