Safe Haskell | None |
---|

# Documentation

data Construct ctx a whereSource

MaybeWitnessSat ctx1 (Construct ctx2) | |

MaybeWitnessSat ctx (Construct ctx) | |

WitnessSat (Construct ctx) | |

WitnessCons (Construct ctx) | |

ExprEq (Construct ctx) | |

ToTree (Construct ctx) | |

Render (Construct ctx) | |

Eval (Construct ctx) | |

EvalBind (Construct ctx) | |

(:<: (Construct ctx') dom, Optimize dom ctx dom) => Optimize (Construct ctx') ctx dom | |

AlphaEq dom dom dom env => AlphaEq (Construct ctx) (Construct ctx) dom env |