Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

data Construct sig where Source

Construct :: String -> Denotation sig -> Construct sig |

Semantic Construct Source | |

Equality Construct Source | |

StringTree Construct Source | |

Render Construct Source | |

Eval Construct Source | |

Constrained Construct Source | |

EvalBind Construct Source | |

Optimize Construct Source | |

AlphaEq dom dom dom env => AlphaEq Construct Construct dom env Source | |

type Sat Construct = Top Source |