pi package:dhall

Pi :: Maybe CharacterSet -> Text -> Expr s a -> Expr s a -> Expr s a

dhall Dhall.Core

Pi _ "_" A B                               ~        A  -> B
Pi _ x   A B                               ~  ∀(x : A) -> B

wrapInLets :: Foldable f => f (Binding s a) -> Expr s a -> Expr s a

dhall Dhall.Core

Wrap let-Bindings around an Expr. wrapInLets can be understood as an inverse for multiLet:

let MultiLet bs e1 = multiLet b e0

wrapInLets bs e1 == Let b e0

data SpinalCase

dhall Dhall.Deriving

Convert casing to spinal-cased-phrase

GroupId :: GroupID -> Group

dhall Dhall.DirectoryTree