Safe Haskell	None
Language	Haskell2010

Data.DeepPrisms

Synopsis

class DeepPrisms e e' where
- prism :: Prism' e e'
hoist :: DeepPrisms e e' => e' -> e
retrieve :: DeepPrisms e e' => e -> Maybe e'
data Ctor = Ctor {
- ctorName :: Name
- ctorType :: Name
}
data SubError = SubError {
- seCtor :: Name
- seWrapped :: Name
}
data PrismsInstance = PrismsInstance {
- prismInstanceName :: Name
- prismInstanceDec :: Dec
}
ctor :: ConstructorInfo -> Maybe Ctor
dataType :: Name -> Q [Ctor]
mkHoist :: TypeQ -> TypeQ -> BodyQ -> DecQ
deepPrismsInstance :: TypeQ -> TypeQ -> BodyQ -> DecQ
idInstance :: Name -> DecQ
typeHasDeepPrisms :: Ctor -> Q Bool
modName :: NameFlavour -> Maybe ModName
sameModule :: NameFlavour -> NameFlavour -> Bool
prismFlavour :: NameFlavour -> NameFlavour
prismName :: Name -> Name -> ExpQ
constructorPrism :: Name -> [Name] -> Ctor -> Q PrismsInstance
filterDuplicates :: [Ctor] -> [PrismsInstance] -> [PrismsInstance]
deepPrismCtors :: Name -> Q [Ctor]
basicPrisms :: Name -> DecsQ
prismsForData :: Name -> [Name] -> Name -> Q [PrismsInstance]
prismsForMainData :: Name -> DecsQ
deepPrisms :: Name -> DecsQ

Documentation

class DeepPrisms e e' where Source #

Methods

prism :: Prism' e e' Source #

hoist :: DeepPrisms e e' => e' -> e Source #

retrieve :: DeepPrisms e e' => e -> Maybe e' Source #

data Ctor Source #

Constructors

Ctor
Fields ctorName :: Name ctorType :: Name

Instances

Instances details

Eq Ctor Source #
Instance details Defined in Data.DeepPrisms Methods (==) :: Ctor -> Ctor -> Bool # (/=) :: Ctor -> Ctor -> Bool #
Show Ctor Source #
Instance details Defined in Data.DeepPrisms Methods showsPrec :: Int -> Ctor -> ShowS # show :: Ctor -> String # showList :: [Ctor] -> ShowS #

data SubError Source #

Constructors

SubError
Fields seCtor :: Name seWrapped :: Name

Instances

Instances details

Eq SubError Source #
Instance details Defined in Data.DeepPrisms Methods (==) :: SubError -> SubError -> Bool # (/=) :: SubError -> SubError -> Bool #
Show SubError Source #
Instance details Defined in Data.DeepPrisms Methods showsPrec :: Int -> SubError -> ShowS # show :: SubError -> String # showList :: [SubError] -> ShowS #

data PrismsInstance Source #

Constructors

PrismsInstance
Fields prismInstanceName :: Name prismInstanceDec :: Dec

Instances

Instances details

Eq PrismsInstance Source #
Instance details Defined in Data.DeepPrisms Methods (==) :: PrismsInstance -> PrismsInstance -> Bool # (/=) :: PrismsInstance -> PrismsInstance -> Bool #
Show PrismsInstance Source #
Instance details Defined in Data.DeepPrisms Methods showsPrec :: Int -> PrismsInstance -> ShowS # show :: PrismsInstance -> String # showList :: [PrismsInstance] -> ShowS #

ctor :: ConstructorInfo -> Maybe Ctor Source #

dataType :: Name -> Q [Ctor] Source #

mkHoist :: TypeQ -> TypeQ -> BodyQ -> DecQ Source #

deepPrismsInstance :: TypeQ -> TypeQ -> BodyQ -> DecQ Source #

idInstance :: Name -> DecQ Source #

typeHasDeepPrisms :: Ctor -> Q Bool Source #

modName :: NameFlavour -> Maybe ModName Source #

sameModule :: NameFlavour -> NameFlavour -> Bool Source #

prismFlavour :: NameFlavour -> NameFlavour Source #

Convert a constructor's NameFlavour to one for a prism The NameSpace field is DataName for the constructor and must be VarName Curiously, this only surfaces as a bug when having a certain nesting level across modules

prismName :: Name -> Name -> ExpQ Source #

constructorPrism :: Name -> [Name] -> Ctor -> Q PrismsInstance Source #

filterDuplicates :: [Ctor] -> [PrismsInstance] -> [PrismsInstance] Source #

deepPrismCtors :: Name -> Q [Ctor] Source #

basicPrisms :: Name -> DecsQ Source #

prismsForData :: Name -> [Name] -> Name -> Q [PrismsInstance] Source #

prismsForMainData :: Name -> DecsQ Source #

deepPrisms :: Name -> DecsQ Source #