derive-monoid-0.0.0: derive Semigroup/Monoid/IsList

Safe HaskellNone
LanguageHaskell2010

Derive.List.Internal

Description

(.Internal modules may violate the PVP)

Synopsis

Documentation

data DeriveListConfig Source

Constructors

DeriveListConfig 

Fields

_getEmptyName :: String -> String
 
_getAppendName :: String -> String
 
_getToListName :: String -> String
 

data DeriveListNames Source

Constructors

DeriveListNames 

Fields

theType :: Name
 
theConstructor :: Name
 
theEmpty :: Name
 
theAppend :: Name
 
theToList :: Name
 

Instances

deriveList :: Name -> Name -> DecsQ Source

derives Semigroup, Monoid, IsList.

deriveMonoid :: Name -> Name -> DecsQ Source

derives Semigroup, Monoid only.

deriveSemigroup :: Name -> Name -> DecsQ Source

derives Semigroup only.

deriveIsList :: Name -> Name -> DecsQ Source

derives IsList only.

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

derives Semigroup, Monoid, IsList.

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

derives Semigroup, Monoid only.

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

derives Semigroup only.

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

derives IsList only.

deriveSemigroup_ :: DeriveListNames -> DecsQ Source

needs no constraints.

assumes makeAppend

deriveMonoid_ :: DeriveListNames -> DecsQ Source

needs no constraints.

assumes makeAppend, makeEmpty

deriveIsList_ :: DeriveListNames -> DecsQ Source

needs no constraints.

assumes makeToList

makeEmpty :: DeriveListNames -> DecsQ Source

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

makeAppend :: DeriveListNames -> DecsQ Source

assumes makeToList

makeToList :: DeriveListNames -> DecsQ Source

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

can debug deriveList with: 

print $ makeDeriveListNames defaultDeriveListConfig ''T 'C

defaultDeriveListConfig :: DeriveListConfig Source

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