Language.Symantic.Transforming.Trans

Documentation

class Trans tr where

• 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 :: * -> *

Return the underlying tr of the transformer.

Methods

trans :: UnT tr a -> tr a

Lift a tr to the transformer's.

unTrans :: tr a -> UnT tr a

Unlift a tr from the transformer's.

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

Identity transformation for a unary symantic method.

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

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

Identity transformation for a ternary symantic method.

Instances

Sym_Lambda term => Trans (BetaT term)

Defined in Language.Symantic.Transforming.Beta

Associated Types

type UnT (BetaT term) :: * -> *

Methods

trans :: UnT (BetaT term) a -> BetaT term a

unTrans :: BetaT term a -> UnT (BetaT term) a

trans1 :: (UnT (BetaT term) a -> UnT (BetaT term) b) -> BetaT term a -> BetaT term b

trans2 :: (UnT (BetaT term) a -> UnT (BetaT term) b -> UnT (BetaT term) c) -> BetaT term a -> BetaT term b -> BetaT term c

trans3 :: (UnT (BetaT term) a -> UnT (BetaT term) b -> UnT (BetaT term) c -> UnT (BetaT term) d) -> BetaT term a -> BetaT term b -> BetaT term c -> BetaT term d