Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
FFI.Untyped
Documentation
Constructors
UVar Integer | |
ULambda UTerm | |
UApp UTerm UTerm | |
UCon (Some (ValueOf DefaultUni)) | |
UError | |
UBuiltin DefaultFun | |
UDelay UTerm | |
UForce UTerm | |
UConstr Integer [UTerm] | |
UCase UTerm [UTerm] |
uconv ∷ Int → UTerm → Term NamedDeBruijn DefaultUni DefaultFun () Source #