append package:dhall

append :: Ord a => a -> Set a -> Set a
dhall Dhall.Set
Append an element to the end of a Set
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
_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