type-cache-1.0: Utilities for caching type families results. Sometimes complex type families take long time to compile, so it is proficient to cache them and use the final result without the need of re-computation.

Safe Haskell	None
Language	Haskell2010

Type.Cache.TH

Documentation

helperName :: Name -> Name Source

targetName :: Name -> Maybe String -> Name Source

cacheHelper :: Name -> Maybe String -> Q [Dec] Source

cacheType :: Name -> Maybe String -> Q [Dec] Source

assertTypesEq :: (Monad m, Typeable * a, Typeable * a1) => a -> a1 -> m [t] Source

appsT :: Foldable t => Type -> t Type -> Type Source

class HasName a where Source

Methods

name :: Lens' a Name Source

Instances

HasName TyVarBndr Source

class MayHaveTyVarBndrs a where Source

Methods

tryTyVarBndrs :: Lens' a (Maybe [TyVarBndr]) Source

Instances

MayHaveTyVarBndrs Type Source
MayHaveTyVarBndrs Dec Source
MayHaveTyVarBndrs Info Source

tyVarBndrs' :: MayHaveTyVarBndrs a => Lens' a [TyVarBndr] Source

tyVarBndrs :: MayHaveTyVarBndrs a => Lens' a [TyVarBndr] Source

fromMaybeLens :: a -> Lens' (Maybe a) a Source

maybeToListLens :: Lens' (Maybe [a]) [a] Source

fromMaybe :: t -> Maybe t -> t Source

maybeToList :: Maybe [t] -> [t] Source

capturable :: Name -> Name Source