Shlomi Fish wrote:
>
> I would like to know how I can define a data structure that will contain a
> list of references to its own types (I don't need circular data
> structures). I would also like to know how I can define such an
> abstraction inside a type.
Here's one way that uses Haskell's Ei
I want to implement a directory data type where each directory may contain
other directories, as well as end documents. I declared the following
file for managing it:
--
module Contents_Abs where
data Contents_Image url mime = MakeContents_Image url mime
get_image_u