Symantic.Parser.Haskell.View

Type ViewTerm

newtype ViewTerm a

Constructors

ViewTerm

Fields

• unViewTerm :: ViewTermInh -> ShowS

Instances

Show (ViewTerm a)

Defined in Symantic.Parser.Haskell.View

Methods

showsPrec :: Int -> ViewTerm a -> ShowS

show :: ViewTerm a -> String

showList :: [ViewTerm a] -> ShowS

IsString (ViewTerm a)

Defined in Symantic.Parser.Haskell.View

Methods

fromString :: String -> ViewTerm a

Type ViewTermInh

data ViewTermInh

Constructors

ViewTermInh

Fields

• viewTermInh_op :: (Infix, Side)
• viewTermInh_pair :: Pair
• viewTermInh_lamDepth :: Int

pairViewTerm :: ViewTermInh -> Infix -> ShowS -> ShowS

Orphan instances

Show (Term repr a)

Methods

showsPrec :: Int -> Term repr a -> ShowS

show :: Term repr a -> String

showList :: [Term repr a] -> ShowS