symantic-6.3.0.20170807: Library for Typed Tagless-Final Higher-Order Composable DSL

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Interpreting.View

Contents

Description

Interpreter to serialize an expression into a Text.

Synopsis

Type View

newtype View a Source #

Interpreter's data.

Constructors

View 

Fields

Instances

Sym_Lambda View Source # 

Methods

apply :: View ((a -> b) -> a -> b) Source #

app :: View (a -> b) -> View a -> View b Source #

lam :: (View a -> View b) -> View (a -> b) Source #

let_ :: View var -> (View var -> View res) -> View res Source #

lam1 :: (View a -> View b) -> View (a -> b) Source #

qual :: proxy q -> View t -> View (q #> t) Source #

Show (View a) Source # 

Methods

showsPrec :: Int -> View a -> ShowS #

show :: View a -> String #

showList :: [View a] -> ShowS #

type DepthLam = Int Source #

view :: View a -> Text Source #

Interpreter.

Constructors

view0 :: Text -> View a Source #

view1 :: Text -> View a1 -> View a Source #

view2 :: Text -> View a1 -> View a2 -> View a Source #

view3 :: Text -> View a1 -> View a2 -> View a3 -> View a Source #

viewInfix :: Text -> Infix -> View a1 -> View a2 -> View a Source #