Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Adjoint (Accumulator e) (Imprint e) Source # | |
(-|) :: a -> (Accumulator e a -> b) -> Imprint e b Source # (|-) :: Accumulator e a -> (a -> Imprint e b) -> b Source # phi :: (Accumulator e a -> b) -> a -> Imprint e b Source # psi :: (a -> Imprint e b) -> Accumulator e a -> b Source # eta :: a -> (Imprint e :. Accumulator e) := a Source # epsilon :: ((Accumulator e :. Imprint e) := a) -> a Source # | |
Adjoint (Store s) (State s) Source # | |
Adjoint (Equipment e) (Environment e) Source # | |
(-|) :: a -> (Equipment e a -> b) -> Environment e b Source # (|-) :: Equipment e a -> (a -> Environment e b) -> b Source # phi :: (Equipment e a -> b) -> a -> Environment e b Source # psi :: (a -> Environment e b) -> Equipment e a -> b Source # eta :: a -> (Environment e :. Equipment e) := a Source # epsilon :: ((Equipment e :. Environment e) := a) -> a Source # |