Idris2Doc : Deriving.DepTyCheck.Util.Primitives

Deriving.DepTyCheck.Util.Primitives

Reexports

import public Language.Reflection.Compat

typeInfoForPrimType : PrimType -> TypeInfo: Totality: total
Visibility: export
typeInfoForTypeOfTypes : TypeInfo: Totality: total
Visibility: export
extractTargetTyExpr : TypeInfo -> TTImp: Totality: total
Visibility: export
isTypeInfoPrim : TypeInfo -> Bool: Totality: total
Visibility: export