Safe Haskell	None
Language	Haskell2010

Data.Constructor.Extract.Class

Synopsis

class ExtractedConstructor con ty where
- fromEC :: con -> ty
- toEC :: ty -> Maybe con

Documentation

class ExtractedConstructor con ty where Source #

Type classes (whose instances will be derived using TH) that allows going back and forth between the extracted constructor type (con) and the source data type (ty)

Methods

fromEC :: con -> ty Source #

toEC :: ty -> Maybe con Source #