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

Safe HaskellNone




term'data :: forall a. Typeable a => Type a -> a -> Term Source #

fn'comp :: Term Source #

Function composition, in the traditional "backwards" order.

Read f fn'comp g as "f after g."

cast'data :: (MonadEval m, Typeable a) => Type a -> Term -> m a Source #

assert'type :: Typeable a => Type a -> Term Source #

Like fn'id, but fails if the argument is not of the given type.

req :: forall a b m. (MonadEval m, Typeable a) => ((a, Term) -> b) -> Type a -> Term -> m b Source #