app package:dhall

App :: Expr s a -> Expr s a -> Expr s a
dhall Dhall.Core
App f a                                  ~  f a
append :: Ord a => a -> Set a -> Set a
dhall Dhall.Set
Append an element to the end of a Set
ApplicationExpr :: ApplicationExprInfo
dhall Dhall.Parser.Expression
Any other application expression.
data ApplicationExprInfo
dhall Dhall.Parser.Expression
ApplicationExprInfo distinguishes certain subtypes of application expressions.
ListAppend :: Expr s a -> Expr s a -> Expr s a
dhall Dhall.Core
ListAppend x y                           ~  x # y
TextAppend :: Expr s a -> Expr s a -> Expr s a
dhall Dhall.Core
TextAppend x y                           ~  x ++ y
type Wrapped = 'Wrapped
dhall Dhall.Deriving
Type-level version of Wrapped Always wrap the field of a singleton constructor in a record
Wrapped :: SingletonConstructors
dhall Dhall.Marshal.Decode Dhall.Marshal.Encode
Always wrap the field in a record
_listAppend :: Parser ()
dhall Dhall.Parser.Token
Parse the # symbol
_textAppend :: Parser ()
dhall Dhall.Parser.Token
Parse the ++ symbol
CantListAppend :: Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
CantTextAppend :: Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck
ListAppendMismatch :: Expr s a -> Expr s a -> TypeMessage s a
dhall Dhall.TypeCheck