Language.KansasLava.Entity

This module contains convenience functions for building deep embedding entities.

Documentation

entity0 :: forall o. Rep o => Id -> D o

A zero-input Entity.

entity1 :: forall a o. (Rep a, Rep o) => Id -> D a -> D o

A one-input Entity

entity2 :: forall a b o. (Rep a, Rep b, Rep o) => Id -> D a -> D b -> D o

A two-input entity.

entity3 :: forall a b c o. (Rep a, Rep b, Rep c, Rep o) => Id -> D a -> D b -> D c -> D o

A three-input entity.

entityN :: forall a o. (Rep a, Rep o) => Id -> [D a] -> D o

An n-ary entity, with all of the inputs having the same type, passed in as a list.