bricks-0.0.0.4: Bricks is a lazy functional language based on Nix.

Safe HaskellNone
LanguageHaskell2010

Bricks.Type

Documentation

data Type a Source #

Constructors

Type 

Fields

type'boolean :: Type Bool Source #

type'string :: Type Text Source #

type'integer :: Type Integer Source #

termTypeName :: MonadIO m => Term -> m Text Source #