Documentation

data Embedding a b Source

setE :: Embedding a b -> b -> a -> aSource

withE :: Embedding a b -> (b -> c) -> a -> cSource

idE :: Embedding a aSource

fstE :: Embedding (a, b) aSource

sndE :: Embedding (a, b) bSource

composeE :: Embedding a b -> Embedding b c -> Embedding a cSource

fromFstE :: Embedding a c -> Embedding (a, b) cSource

fromSndE :: Embedding b c -> Embedding (a, b) cSource