Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module contains convenience functions for building deep embedding entities.
- entity0 :: forall o. Rep o => Id -> D o
- entity1 :: forall a o. (Rep a, Rep o) => Id -> D a -> D o
- entity2 :: forall a b o. (Rep a, Rep b, Rep o) => Id -> D a -> D b -> D o
- entity3 :: forall a b c o. (Rep a, Rep b, Rep c, Rep o) => Id -> D a -> D b -> D c -> D o
- entityN :: forall a o. (Rep a, Rep o) => Id -> [D a] -> D o