Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe HaskellSafe-Infered

Top.Util.Embedding

Description

 

Documentation

data Embedding a b Source

Constructors

Embedding 

Fields

getE :: a -> b
 
changeE :: (b -> b) -> a -> a
 

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