Data.ABC.Internal.Field

Documentation

data Field a b

Constructors

Field

Fields

• readAt :: a -> IO b
• writeAt :: a -> b -> IO ()

fieldFromOffset :: Storable b => Int -> Field (Ptr a) b

isoFieldTarget :: Field a b -> Iso b c -> Field a c

data Iso a b

An isomorphism view.

iso :: (a -> b) -> (b -> a) -> Iso a b

Create an isomorphism