-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Injective explicit total and partial conversions
--   
--   Injective explicit total and partial conversions
@package conversions
@version 0.0.4

module Data.Conversions
data BoundError a b
BoundError :: a -> BoundError a b
data UserBoundError a b
UserBoundError :: a -> b -> b -> UserBoundError a b
class Conversion b a
convert :: Conversion b a => a -> b
convert :: (Conversion b a, Coercible a b) => a -> b
type ToText a = Conversion Text a
convertText :: forall a b. (Conversion Text a, Conversion b Text) => a -> b
convertErrorFromNatural :: forall a m. (Integral a, Bounded a, MonadError (UserBoundError Natural a) m) => Natural -> m a
convertErrorFromIntegral :: forall a m. (Integral a, Bounded a, MonadError (UserBoundError a Natural) m) => a -> m Natural
convertBoundedFromIntegral :: forall a b m. (Integral a, Show a, Show b, Num b, Bounded b, Conversion a b, MonadError (BoundError a b) m) => a -> m b
checkedFromIntegral :: forall a b m. (MonadPlus m, Integral a, Integral b) => a -> m b
convertEither :: forall b a e. Conversion (Either e b) a => a -> Either e b
convertUnsafe :: forall b a e. (Conversion (Either e b) a, Show e) => a -> b
convertThrow :: forall b a e m. (Conversion (Either e b) a, Exception e, MonadThrow m) => a -> m b
convertFail :: forall b a e m. (Conversion (Either e b) a, Show e, MonadFail m) => a -> m b
convertMaybe :: forall b a e. Conversion (Either e b) a => a -> Maybe b
boundError :: forall a b. (Show a, Show b) => a -> b -> b -> String
mkTH :: forall a b e. (Lift b, Exception e, Conversion (Either e b) a) => a -> Q (TExp b)
toText :: ToText a => a -> Text
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Types.Int GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Types.Int
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Int.Int64 GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Int.Int64
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Int.Int32 GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Int.Int32
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Int.Int16 GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Int.Int16
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Int.Int8 GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Int.Int8
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Types.Word GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Types.Word
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Word.Word64 GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Word.Word64
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Word.Word32 GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Word.Word32
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Word.Word16 GHC.Natural.Natural) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Word.Word16
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Integer.Type.Integer Data.Text.Internal.Text) m => Data.Conversions.Conversion (m GHC.Natural.Natural) GHC.Integer.Type.Integer
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Natural.Natural GHC.Types.Int) m => Data.Conversions.Conversion (m GHC.Types.Int) GHC.Natural.Natural
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Natural.Natural GHC.Int.Int16) m => Data.Conversions.Conversion (m GHC.Int.Int16) GHC.Natural.Natural
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Natural.Natural GHC.Int.Int32) m => Data.Conversions.Conversion (m GHC.Int.Int32) GHC.Natural.Natural
instance Control.Monad.Error.Class.MonadError (Data.Conversions.UserBoundError GHC.Natural.Natural GHC.Int.Int64) m => Data.Conversions.Conversion (m GHC.Int.Int64) GHC.Natural.Natural
instance Data.Conversions.Conversion a a
instance Data.Conversions.Conversion GHC.Integer.Type.Integer GHC.Types.Int
instance Data.Conversions.Conversion GHC.Integer.Type.Integer GHC.Word.Word32
instance Data.Conversions.Conversion GHC.Integer.Type.Integer GHC.Word.Word16
instance Data.Conversions.Conversion GHC.Integer.Type.Integer GHC.Word.Word8
instance Data.Conversions.Conversion GHC.Natural.Natural GHC.Word.Word32
instance Data.Conversions.Conversion GHC.Natural.Natural GHC.Word.Word16
instance Data.Conversions.Conversion GHC.Natural.Natural GHC.Word.Word8
instance Data.Conversions.Conversion GHC.Integer.Type.Integer GHC.Natural.Natural
instance Control.Monad.Error.Class.MonadError (Data.Conversions.BoundError GHC.Integer.Type.Integer GHC.Types.Int) m => Data.Conversions.Conversion (m GHC.Types.Int) GHC.Integer.Type.Integer
instance Control.Monad.Error.Class.MonadError (Data.Conversions.BoundError GHC.Integer.Type.Integer GHC.Word.Word32) m => Data.Conversions.Conversion (m GHC.Word.Word32) GHC.Integer.Type.Integer
instance Control.Monad.Error.Class.MonadError (Data.Conversions.BoundError GHC.Integer.Type.Integer GHC.Word.Word16) m => Data.Conversions.Conversion (m GHC.Word.Word16) GHC.Integer.Type.Integer
instance Control.Monad.Error.Class.MonadError (Data.Conversions.BoundError GHC.Integer.Type.Integer GHC.Word.Word8) m => Data.Conversions.Conversion (m GHC.Word.Word8) GHC.Integer.Type.Integer
instance Data.Conversions.Conversion Data.ByteString.Lazy.Internal.ByteString Data.ByteString.Internal.ByteString
instance Data.Conversions.Conversion Data.ByteString.Internal.ByteString Data.ByteString.Lazy.Internal.ByteString
instance Data.Conversions.Conversion Data.ByteString.Internal.ByteString Data.Text.Internal.Text
instance Data.Conversions.Conversion Data.Text.Internal.Lazy.Text Data.Text.Internal.Text
instance Data.Conversions.Conversion Data.Text.Internal.Text Data.Text.Internal.Lazy.Text
instance Data.Conversions.Conversion Data.Text.Internal.Text GHC.Base.String
instance Data.Conversions.Conversion GHC.Base.String Data.Text.Internal.Text
instance (GHC.Show.Show a, GHC.Show.Show b) => GHC.Show.Show (Data.Conversions.UserBoundError a b)
instance (GHC.Show.Show a, GHC.Show.Show b, Data.Typeable.Internal.Typeable a, Data.Typeable.Internal.Typeable b) => GHC.Exception.Type.Exception (Data.Conversions.UserBoundError a b)
instance GHC.Show.Show (Data.Conversions.BoundError a b)
instance (Data.Typeable.Internal.Typeable a, Data.Typeable.Internal.Typeable b) => GHC.Exception.Type.Exception (Data.Conversions.BoundError a b)


-- | Conversions from type-level values
module Data.Conversions.FromType
class FromType a (b :: Type)
fromType :: FromType a b => b
instance GHC.TypeNats.KnownNat nat => Data.Conversions.FromType.FromType nat GHC.Natural.Natural
instance GHC.TypeLits.KnownSymbol symbol => Data.Conversions.FromType.FromType symbol GHC.Base.String
instance GHC.TypeLits.KnownSymbol symbol => Data.Conversions.FromType.FromType symbol Data.Text.Internal.Text