Context Navigation

ClassLess

v54	v55
115	115	}}}
116	116
	117
117	118	=== Conversions ===
	119
	120	==== Rules ====
118	121
119	122	To perform the actual conversion of values of a type `t::*`, we generate a conversion `iso<t>` of type `t :<->: t^` as follows:
…	…
135	138	}}}
136	139
	140	==== Examples ====
	141
	142	Here some example conversions:
	143	{{{
	144	iso<Int -> Int> = isoArr isoInt isoInt
	145	iso<Int -> Int#> = id :<->: id
	146	iso<[a -> a]> = isoList (isoArr (id :<->: id)
	147	(id :<->: id))
	148	iso<f (Int -> Int)> = (\_ -> (id :<->: id))
	149	(isoArr isoInt isoInt)
	150	= id :<-> id
	151	}}}
137	152
138	153	=== Converting type declarations ===