Data.Generics.Alloy.Route

data Route inner outer

routeModify

routeModifyM

routeGet

routeSet

(@->)

identityRoute

routeId

routeList

makeRoute

routeDataMap

routeDataSet

class AlloyARoute t o o'

data BaseOpARoute m outer

baseOpARoute

data (t :-@ opT) m outer

type OneOpARoute t

type TwoOpARoute s t