Safe Haskell	Safe
Language	Haskell2010

Language.Symantic.Transforming.Trans

Synopsis

Documentation

class Trans tr where Source #

trans is generally not surjective
unTrans is not injective
unTrans . trans == id
trans . unTrans /= id

NOTE: DefaultSignatures can be used when declaring a symantic type class to provide default definition of the methods: implementing their identity transformation in order to avoid boilerplate code when writting Trans instances which do not need to alterate those methods.

Minimal complete definition

trans, unTrans

Associated Types

type UnT tr :: * -> * Source #

Return the underlying tr of the transformer.

Methods

trans :: UnT tr a -> tr a Source #

Lift a tr to the transformer's.

unTrans :: tr a -> UnT tr a Source #

Unlift a tr from the transformer's.

trans1 :: (UnT tr a -> UnT tr b) -> tr a -> tr b Source #

Identity transformation for a unary symantic method.

trans2 :: (UnT tr a -> UnT tr b -> UnT tr c) -> tr a -> tr b -> tr c Source #

Identity transformation for a binary symantic method.

trans3 :: (UnT tr a -> UnT tr b -> UnT tr c -> UnT tr d) -> tr a -> tr b -> tr c -> tr d Source #

Identity transformation for a ternary symantic method.

Instances

Sym_Lambda term => Trans (BetaT term) Source #