Bricks.Expression.Construction

Functions for constructing Expressions that match the Show implementations.

This module is only designed for testing and REPL use. It isn't re-exported into the main Bricks API because it's a bit messy:

• It introduces some superfluous typeclasses for the sake of brevity.
• There are a lot of terse function names here that would clash with other things easily.
• Some functions are partial, such as those that require strings that can be rendered unquoted.
• It uses string overloading in a way that the regular API probably shouldn't.
• The functions are oriented toward constructing Expressions, skipping over the intermediary types they're composed of, which is convenient but may make them insufficient for some use cases.

Documentation

lambda :: Param'Builder -> Expression -> Expression

apply :: Expression -> Expression -> Expression

var :: Text -> Expression

dot :: Expression -> Expression -> Expression

let'in :: [LetBinding] -> Expression -> Expression

dict :: [DictBinding] -> Expression

rec'dict :: [DictBinding] -> Expression

class Binding a b | b -> a where

Minimal complete definition

binding

Methods

binding :: a -> Expression -> b

Instances

Binding Text LetBinding

Methods

binding :: Text -> Expression -> LetBinding

Binding Expression DictBinding

Methods

binding :: Expression -> Expression -> DictBinding

class IsInherit a where

Minimal complete definition

fromInherit

Methods

fromInherit :: Inherit -> a

Instances

IsInherit LetBinding

Methods

fromInherit :: Inherit -> LetBinding

IsInherit DictBinding

Methods

fromInherit :: Inherit -> DictBinding

inherit :: IsInherit a => [Text] -> a

inherit'from :: IsInherit a => Expression -> [Text] -> a

str :: [Str'1'] -> Expression

antiquote :: Expression -> Str'1'

newtype Str'1'

A newtype for Str'1 just so we can give it the IsString instance which would be dubiously appropriate for the actual Str'1 type.

Constructors

Str'1'

Fields

• unStr'1' :: Str'1

Instances

IsString Str'1'

Methods

fromString :: String -> Str'1'

class IsParam a where

Minimal complete definition

param

Methods

param :: Text -> a

Instances

IsParam DictPattern'1

Methods

param :: Text -> DictPattern'1

IsParam Param'Builder

Methods

param :: Text -> Param'Builder

newtype Param'Builder

Constructors

Param'Builder (NonEmpty Param)

Instances

Semigroup Param'Builder

Methods

(<>) :: Param'Builder -> Param'Builder -> Param'Builder

sconcat :: NonEmpty Param'Builder -> Param'Builder

stimes :: Integral b => b -> Param'Builder -> Param'Builder

IsParam Param'Builder

Methods

param :: Text -> Param'Builder

buildParam :: Param'Builder -> Param

paramBuilder :: Param -> Param'Builder

pattern :: [DictPattern'1] -> Param'Builder

def :: Expression -> DictPattern'1 -> DictPattern'1

ellipsis :: Param'Builder

mergeParams :: Param -> Param -> Param

Combine two params, merging dict patterns with mergeDictPatterns and preferring the right-hand-side when names conflict.

mergeDictPatterns :: DictPattern -> DictPattern -> DictPattern

Combine two dict patterns, taking the concatenation of the item list, and the Boolean or of the ellipsis flag.