Data.Express.Basic

Defines the Expr type and _basic_ utilities involving it, including:

• re-export of Data.Express.Core
• re-export of Data.Express.Map
• re-export of Data.Express.Fold
• re-export of Data.Express.Hole

If you're a Express user, you're probably better of importing Data.Express.

Module re-exports

module Data.Express.Core

module Data.Express.Map

module Data.Express.Fold

module Data.Express.Hole

Additional utilities

(>$$<) :: [Expr] -> [Expr] -> [Expr]

Lists valid applications between lists of Exprs

> [notE, plus] >$$< [false, true, zero]
[not False :: Bool,not True :: Bool,(0 +) :: Int -> Int]

(>$$) :: [Expr] -> Expr -> [Expr]

Lists valid applications between a list of Exprs and an Expr.

> [plus, times] >$$ zero
[(0 +) :: Int -> Int,(0 *) :: Int -> Int]

($$<) :: Expr -> [Expr] -> [Expr]

Lists valid applications between an Expr and a list of Exprs.

> notE >$$< [false, true, zero]
[not False :: Bool,not True :: Bool]