ddc-source-tetra-0.4.2.1: DDC/Source/Tetra/Prim/OpError.hs

module DDC.Source.Tetra.Prim.OpError
        ( typeOpError)
where
import DDC.Source.Tetra.Prim.TyConPrim
import DDC.Source.Tetra.Prim.Base
import DDC.Type.Compounds
import DDC.Type.Exp



-- | Take the type of a primitive error function.
typeOpError :: OpError -> Type Name
typeOpError err
 = case err of
        OpErrorDefault    
         -> tForall kData $ \t -> tTextLit `tFun` tNat `tFun` t