Data.KindID.Unsafe

Unsafe KindID functions.

Unsafe KindID decoding

unsafeParseString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => String -> KindID prefix

Parse a KindID from its String representation, but does not behave correctly when parsing fails.

More specifically, if the prefix does not match, it will not complain and produce the wrong KindID. If there are other parse errors, it will crash.

unsafeParseText :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => Text -> KindID prefix

Parse a KindID from its string representation as a strict Text, but does not behave correctly when parsing fails.

More specifically, if the prefix does not match, it will not complain and produce the wrong KindID. If there are other parse errors, it will crash.

unsafeParseByteString :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => ByteString -> KindID prefix

Parse a KindID from its string representation as a lazy ByteString, but does not behave correctly when parsing fails.

More specifically, if the prefix does not match, it will not complain and produce the wrong KindID. If there are other parse errors, it will crash.

Unsafe conversion

unsafeFromTypeID :: (ToPrefix prefix, ValidPrefix (PrefixSymbol prefix)) => TypeID -> KindID prefix

Convert a TypeID to a KindID. If the actual prefix does not match with the expected one as defined by the type, it does not complain and produces a wrong KindID.