i08i16 | Data.Connection.Int |
i08i32 | Data.Connection.Int |
i08i64 | Data.Connection.Int |
i08w08 | Data.Connection.Int |
i08w08' | Data.Connection.Int |
i16i32 | Data.Connection.Int |
i16i64 | Data.Connection.Int |
i16w16 | Data.Connection.Int |
i16w16' | Data.Connection.Int |
i32i64 | Data.Connection.Int |
i32w32 | Data.Connection.Int |
i32w32' | Data.Connection.Int |
i64f32 | Data.Connection.Float, Data.Float |
i64f64 | Data.Connection.Float, Data.Float |
i64w64 | Data.Connection.Int |
i64w64' | Data.Connection.Int |
ideal | Data.Connection.Yoneda |
idempotent_counit | Data.Connection.Property |
idempotent_unit | Data.Connection.Property |
indeterminate | Data.Prd |
infinite | Data.Float |
int32Float | Data.Connection.Float, Data.Float |
intnat | Data.Connection.Int |
irreflexive_lt | Data.Prd.Property |
isInf | Data.Prd.Nan |
isNan | Data.Float |