Parsley.Internal.Core.Lam

Documentation

normaliseGen :: Lam a -> Code a

normalise :: Lam a -> Lam a

data Lam a where

Constructors

Abs :: (Lam a -> Lam b) -> Lam (a -> b)

App :: Lam (a -> b) -> Lam a -> Lam b

Var :: Bool -> Code a -> Lam a

If :: Lam Bool -> Lam a -> Lam a -> Lam a

Let :: Lam a -> (Lam a -> Lam b) -> Lam b

T :: Lam Bool

F :: Lam Bool

Instances

Show (Lam a)

Defined in Parsley.Internal.Core.Lam

Methods

showsPrec :: Int -> Lam a -> ShowS

show :: Lam a -> String

showList :: [Lam a] -> ShowS