Parsley.Internal.Core.Lam

Documentation

normaliseGen :: Lam a -> Code 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