Documentation

bugBadPhi :: (PrintfType (String -> t), PP a, PP a1, PP a2) => a -> a1 -> a2 -> tSource

bugBadSubtypes :: (PrintfType (String -> t), PP a) => a -> tSource

bugUnboundPhiVar :: (PrintfType (String -> t), PP a) => a -> tSource

bugUnboundVariable :: (PrintfType (String -> t), PP a, PP a1) => a1 -> a -> tSource

bugMissingTypeArgs :: (PrintfType (String -> t), PP a) => a -> tSource

errorArgName :: (PrintfType (String -> t), PP a, PP a1, PP a2) => a -> a1 -> a2 -> tSource

errorMissingSpec :: (PrintfType (String -> t), PP a, PP a1) => a1 -> a -> tSource

errorDuplicate :: (PrintfType (String -> t), PP a, PP a1, PP a2) => a -> a1 -> a2 -> tSource

errorArgMismatch :: PrintfType r => rSource

errorNonFunction :: (PrintfType (String -> t), PP a, PP a1) => a -> a1 -> tSource

errorUnboundId :: (PrintfType (String -> t), PP a) => a -> tSource

errorUnboundIdEnv :: (PrintfType (String -> t), PP a, PP a1) => a -> a1 -> tSource

errorWrongType :: (PrintfType (t1 -> String -> String -> String -> t), PP a, PP a1, PP a2) => t1 -> a -> a1 -> a2 -> tSource

errorJoin :: (PrintfType (String -> t), PP a, PP a1, PP a2) => a -> a1 -> a2 -> tSource

errorUnification :: (PrintfType (String -> t), PP a, PP a1) => a -> a1 -> tSource

errorBoundTyVar :: (PrintfType (String -> t), PP a, PP a1) => a -> a1 -> tSource

errorFreeTyVar :: (PrintfType (String -> t), PP a) => a -> tSource

errorWriteImmutable :: (PrintfType (String -> t), PP a) => a -> tSource

errorInvalidTopStmt :: (PrintfType (String -> t), PP a) => a -> tSource

errorOccursCheck :: (PrintfType (String -> t), PP a, PP a1) => a -> a1 -> tSource

errorRigidUnify :: (PrintfType (String -> t), PP a, PP a1) => a -> a1 -> tSource

ppshow :: PP a => a -> StringSource

tracePP :: PP a => String -> a -> aSource