Basement.From

Documentation

class From a b where

Class of things that can be converted from a to b

Minimal complete definition

from

Methods

from :: a -> b

Instances

From Int Word

Methods

from :: Int -> Word

From Word Int

Methods

from :: Word -> Int

From a a

Methods

from :: a -> a

From (CountOf ty) Word

Methods

from :: CountOf ty -> Word

From (CountOf ty) Int

Methods

from :: CountOf ty -> Int

type Into b a = From a b

class TryFrom a b where

Class of things that can mostly be converted from a to b, but with possible error cases.

Minimal complete definition

tryFrom

Methods

tryFrom :: a -> Maybe b

type TryInto b a = TryFrom a b

into :: Into b a => a -> b

Same as from but reverse the type variable so that the destination type can be specified first

e.g. converting:

from _ Word (10 :: Int)

into @Word (10 :: Int)

tryInto :: TryInto b a => a -> Maybe b

same as tryFrom but reversed