Symantic.Typed.View

Documentation

data View a where

Constructors

View :: (ViewEnv -> ShowS) -> View a

ViewUnifix :: Unifix -> String -> String -> View (a -> b)

ViewInfix :: Infix -> String -> String -> View (a -> b -> c)

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

Instances

LiftDerived View

Defined in Symantic.Typed.View

Methods

liftDerived :: Derived View a -> View a

Maybeable View

Defined in Symantic.Typed.View

Methods

nothing :: View (Maybe a)

just :: View (a -> Maybe a)

Listable View

Defined in Symantic.Typed.View

Methods

cons :: View (a -> [a] -> [a])

nil :: View [a]

Equalable View

Defined in Symantic.Typed.View

Methods

equal :: Eq a => View (a -> a -> Bool)

Eitherable View

Defined in Symantic.Typed.View

Methods

left :: View (l -> Either l r)

right :: View (r -> Either l r)

Bottomable View

Defined in Symantic.Typed.View

Methods

bottom :: View a

Anythingable View

Defined in Symantic.Typed.View

Methods

anything :: View a -> View a

Abstractable View

Defined in Symantic.Typed.View

Methods

(.@) :: View (a -> b) -> View a -> View b

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

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

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

flip :: View ((a -> b -> c) -> b -> a -> c)

id :: View (a -> a)

(.) :: View ((b -> c) -> (a -> b) -> a -> c)

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

var :: View a -> View a

Show c => Constantable c View

Defined in Symantic.Typed.View

Methods

constant :: c -> View c

Show (View a)

Defined in Symantic.Typed.View

Methods

showsPrec :: Int -> View a -> ShowS

show :: View a -> String

showList :: [View a] -> ShowS

IsString (View a)

Defined in Symantic.Typed.View

Methods

fromString :: String -> View a

Show (SomeData View a)

Defined in Symantic.Typed.View

Methods

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

show :: SomeData View a -> String

showList :: [SomeData View a] -> ShowS

type Derived View

Unusual, but enables to leverage default definition of methods.

Defined in Symantic.Typed.View

type Derived View = View

runView :: View a -> ViewEnv -> ShowS

data ViewEnv

Constructors

ViewEnv

Fields

• viewEnv_op :: (Infix, Side)
• viewEnv_pair :: Pair
• viewEnv_lamDepth :: Int

pairView :: ViewEnv -> Infix -> ShowS -> ShowS

viewLam :: String -> (View a -> View b) -> View (a -> b)