express-1.0.16: Dynamically-typed expressions involving function application and variables.
Copyright(c) 2019-2024 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Express.Basic

Description

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

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

Synopsis

Module re-exports

module Data.Express.Core

module Data.Express.Map

module Data.Express.Fold

module Data.Express.Hole

Additional utilities

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

Lists valid applications between lists of Exprs

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

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

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

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

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

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

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