Portability | non-portable |
---|---|

Stability | experimental |

Maintainer | generics@haskell.org |

Safe Haskell | None |

Generically produce a single finite value of a datatype.

# Documentation

Empty Bool | |

Empty Char | |

Empty Double | |

Empty Float | |

Empty Int | |

Empty Integer | |

Empty U | |

Empty a => Empty [a] | |

Empty a => Empty (Maybe a) | |

Empty a => Empty (Rec a) | |

Empty a => Empty (Var a) | |

(Empty a, Empty b) => Empty (a, b) | |

(Empty a, Empty b) => Empty (:*: a b) | |

(HasRec a, Empty a, Empty b) => Empty (:+: a b) | |

Empty a => Empty (CEq c p p a) |

empty :: (Representable a, Empty (Rep a)) => aSource