Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A module defining SigBindFamily
and other related types and
functions.
Synopsis
- data SigBindFamily
- = Sig (Sig GhcPs)
- | Bind (HsBindLR GhcPs GhcPs)
- | TypeFamily (FamilyDecl GhcPs)
- | TyFamInst (TyFamInstDecl GhcPs)
- | DataFamInst (DataFamInstDecl GhcPs)
- type LSigBindFamily = GenLocated SrcSpanAnnA SigBindFamily
- mkSortedLSigBindFamilyList :: [LSig GhcPs] -> [LHsBindLR GhcPs GhcPs] -> [LFamilyDecl GhcPs] -> [LTyFamInstDecl GhcPs] -> [LDataFamInstDecl GhcPs] -> [LSigBindFamily]
- mkLSigBindFamilyList :: [LSig GhcPs] -> [LHsBindLR GhcPs GhcPs] -> [LFamilyDecl GhcPs] -> [LTyFamInstDecl GhcPs] -> [LDataFamInstDecl GhcPs] -> [LSigBindFamily]
- filterLSig :: [LSigBindFamily] -> [LSig GhcPs]
- filterLBind :: [LSigBindFamily] -> [LHsBindLR GhcPs GhcPs]
Documentation
data SigBindFamily Source #
A sum type containing one of those: function signature, function binding, type family, type family instance, and data family instance.
Sig (Sig GhcPs) | |
Bind (HsBindLR GhcPs GhcPs) | |
TypeFamily (FamilyDecl GhcPs) | |
TyFamInst (TyFamInstDecl GhcPs) | |
DataFamInst (DataFamInstDecl GhcPs) |
Instances
type LSigBindFamily = GenLocated SrcSpanAnnA SigBindFamily Source #
SigBindFamily
with the location information.
mkSortedLSigBindFamilyList :: [LSig GhcPs] -> [LHsBindLR GhcPs GhcPs] -> [LFamilyDecl GhcPs] -> [LTyFamInstDecl GhcPs] -> [LDataFamInstDecl GhcPs] -> [LSigBindFamily] Source #
Creates a list of LSigBindFamily
from arguments. The list is sorted
by its elements' locations.
mkLSigBindFamilyList :: [LSig GhcPs] -> [LHsBindLR GhcPs GhcPs] -> [LFamilyDecl GhcPs] -> [LTyFamInstDecl GhcPs] -> [LDataFamInstDecl GhcPs] -> [LSigBindFamily] Source #
Creates a list of LSigBindFamily
from arguments.
filterLSig :: [LSigBindFamily] -> [LSig GhcPs] Source #
Filters out SigBindFamily
s and extract the wrapped values.
filterLBind :: [LSigBindFamily] -> [LHsBindLR GhcPs GhcPs] Source #
Filters out Bind
s and extract the wrapped values.