Derive.List.Internal

(.Internal modules may violate the PVP)

Documentation

data DeriveListConfig

Constructors

DeriveListConfig

Fields

_getEmptyName :: String -> String

_getAppendName :: String -> String

_getToListName :: String -> String

data DeriveListNames

Constructors

DeriveListNames

Fields

theType :: Name

theConstructor :: Name

theEmpty :: Name

theAppend :: Name

theToList :: Name

Instances

Eq DeriveListNames

Ord DeriveListNames

Show DeriveListNames

deriveList :: Name -> Name -> DecsQ

derives Semigroup, Monoid, IsList.

deriveMonoid :: Name -> Name -> DecsQ

derives Semigroup, Monoid only.

deriveSemigroup :: Name -> Name -> DecsQ

derives Semigroup only.

deriveIsList :: Name -> Name -> DecsQ

derives IsList only.

deriveListWith :: DeriveListConfig -> Name -> Name -> DecsQ

derives Semigroup, Monoid, IsList.

deriveMonoidWith :: DeriveListConfig -> Name -> Name -> DecsQ

derives Semigroup, Monoid only.

deriveSemigroupWith :: DeriveListConfig -> Name -> Name -> DecsQ

derives Semigroup only.

deriveIsListWith :: DeriveListConfig -> Name -> Name -> DecsQ

derives IsList only.

deriveSemigroup_ :: DeriveListNames -> DecsQ

needs no constraints.

assumes makeAppend

deriveMonoid_ :: DeriveListNames -> DecsQ

needs no constraints.

assumes makeAppend, makeEmpty

deriveIsList_ :: DeriveListNames -> DecsQ

needs no constraints.

assumes makeToList

makeEmpty :: DeriveListNames -> DecsQ

PatternSynonyms won't work until https://ghc.haskell.org/trac/ghc/ticket/8761

makeAppend :: DeriveListNames -> DecsQ

assumes makeToList

makeToList :: DeriveListNames -> DecsQ

makeDeriveListNames :: DeriveListConfig -> Name -> Name -> DeriveListNames

can debug deriveList with:

print $ makeDeriveListNames defaultDeriveListConfig ''T 'C

defaultDeriveListConfig :: DeriveListConfig

by default, the functions generated for a type T are "emptyT" and "toTList".