module Generic_view_conlist: sig .. end
The list of constructor view underlies the RepLib Haskell library.
The view sees all types as variants. Products and records are viewed as variants of a single constructor. The other categories of types do not fit well under that description, and are left as base cases with no constructors.
type 'a view = 'a Desc.Con.t list
type 'a t = 'a view
val view : 'a Ty.T.ty -> 'a view
val conap : 'a Desc.Con.t list -> 'a -> 'a Desc.Con.conap
Raises Not_found if the constructor is not in the list
conap cs x = Conap (c,y) ==> c.embed y = x