Language.Symantic.Interpreting.View

Interpreter to serialize an expression into a Text.

Type View

newtype View a

Interpreter's data.

Constructors

View

Fields

• unView :: (Infix, Side) -> DepthLam -> Text

Instances

Sym_Lambda View

Defined in Language.Symantic.Compiling.Term

Methods

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

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

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

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

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

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

Show (View a)

Defined in Language.Symantic.Interpreting.View

Methods

showsPrec :: Int -> View a -> ShowS

show :: View a -> String

showList :: [View a] -> ShowS

type DepthLam = Int

view :: View a -> Text

Interpreter.

Constructors

view0 :: Text -> View a

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

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

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

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