Feldspar.Core.Constructs.Logic

Implementation of Logic constructs

Documentation

data Logic a where

Logic constructs

Constructors

And :: Logic (Bool :-> (Bool :-> Full Bool))

Or :: Logic (Bool :-> (Bool :-> Full Bool))

Not :: Logic (Bool :-> Full Bool)

Instances

EvalBind Logic

Semantic Logic

Eval Logic

Render Logic

ToTree Logic

Equality Logic

Sharable Logic

AlphaEq dom dom dom env => AlphaEq Logic Logic dom env

SizeProp (:|| Logic Type)

(:<: (:|| Logic Type) dom, :<: (:|| EQ Type) dom, :<: (:|| ORD Type) dom, OptimizeSuper dom) => Optimize (:|| Logic Type) dom