Language.Haskell.Meta.Syntax.Translate

Documentation

class ToDerivClauses a where

Methods

toDerivClauses :: a -> [DerivClause]

Instances

ToDerivClauses a => ToDerivClauses [a]

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDerivClauses :: [a] -> [DerivClause]

ToDerivClauses a => ToDerivClauses (Maybe a)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDerivClauses :: Maybe a -> [DerivClause]

ToDerivClauses (Deriving l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDerivClauses :: Deriving l -> [DerivClause]

type DerivClause = DerivClause

class ToInjectivityAnn a where

Methods

toInjectivityAnn :: a -> InjectivityAnn

Instances

ToInjectivityAnn (InjectivityInfo l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toInjectivityAnn :: InjectivityInfo l -> InjectivityAnn

class ToMaybeKind a where

Methods

toMaybeKind :: a -> Maybe Kind

Instances

ToMaybeKind a => ToMaybeKind (Maybe a)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toMaybeKind :: Maybe a -> Maybe Kind

ToMaybeKind (ResultSig l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toMaybeKind :: ResultSig l -> Maybe Kind

class ToTyVars a where

Methods

toTyVars :: a -> [TyVarBndr]

Instances

ToTyVars a => ToTyVars [a]

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toTyVars :: [a] -> [TyVarBndr]

ToTyVars a => ToTyVars (Maybe a)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toTyVars :: Maybe a -> [TyVarBndr]

ToTyVars (DeclHead l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toTyVars :: DeclHead l -> [TyVarBndr]

ToTyVars (TyVarBind l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toTyVars :: TyVarBind l -> [TyVarBndr]

class ToPred a where

Methods

toPred :: a -> Pred

Instances

ToPred (Asst l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toPred :: Asst l -> Pred

class ToCxt a where

Methods

toCxt :: a -> Cxt

Instances

ToCxt a => ToCxt (Maybe a)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toCxt :: Maybe a -> Cxt

ToCxt (InstRule l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toCxt :: InstRule l -> Cxt

ToCxt (Context l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toCxt :: Context l -> Cxt

class ToLoc a where

Methods

toLoc :: a -> Loc

Instances

ToLoc SrcLoc

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toLoc :: SrcLoc -> Loc

class ToStmt a where

Methods

toStmt :: a -> Stmt

Instances

ToStmt (Stmt l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toStmt :: Stmt l -> Stmt0

class ToDec a where

Methods

toDec :: a -> Dec

Instances

ToDec (Decl l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDec :: Decl l -> Dec

class ToDecs a where

Methods

toDecs :: a -> [Dec]

Instances

ToDecs a => ToDecs [a]

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDecs :: [a] -> [Dec]

ToDecs a => ToDecs (Maybe a)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDecs :: Maybe a -> [Dec]

ToDecs (Decl l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDecs :: Decl l -> [Dec]

ToDecs (Binds l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDecs :: Binds l -> [Dec]

ToDecs (ClassDecl l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDecs :: ClassDecl l -> [Dec]

ToDecs (InstDecl l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toDecs :: InstDecl l -> [Dec]

class ToExp a where

Methods

toExp :: a -> Exp

Instances

ToExp Lit

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toExp :: Lit -> Exp

ToExp a => ToExp [a]

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toExp :: [a] -> Exp

ToExp (QOp l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toExp :: QOp l -> Exp

ToExp (Exp l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toExp :: Exp l -> Exp0

(ToExp a, ToExp b) => ToExp (a, b)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toExp :: (a, b) -> Exp

(ToExp a, ToExp b, ToExp c) => ToExp (a, b, c)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toExp :: (a, b, c) -> Exp

(ToExp a, ToExp b, ToExp c, ToExp d) => ToExp (a, b, c, d)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toExp :: (a, b, c, d) -> Exp

class ToPat a where

Methods

toPat :: a -> Pat

Instances

ToPat Lit

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toPat :: Lit -> Pat

ToPat a => ToPat [a]

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toPat :: [a] -> Pat

ToPat (Pat l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toPat :: Pat l -> Pat0

(ToPat a, ToPat b) => ToPat (a, b)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toPat :: (a, b) -> Pat

(ToPat a, ToPat b, ToPat c) => ToPat (a, b, c)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toPat :: (a, b, c) -> Pat

(ToPat a, ToPat b, ToPat c, ToPat d) => ToPat (a, b, c, d)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toPat :: (a, b, c, d) -> Pat

class ToType a where

Methods

toType :: a -> Type

Instances

ToType (QName l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toType :: QName l -> Type

ToType (InstRule l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toType :: InstRule l -> Type

ToType (InstHead l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toType :: InstHead l -> Type

ToType (Type l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toType :: Type l -> Type0

class ToLit a where

Methods

toLit :: a -> Lit

Instances

ToLit Char

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toLit :: Char -> Lit

ToLit Double

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toLit :: Double -> Lit

ToLit Float

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toLit :: Float -> Lit

ToLit Int

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toLit :: Int -> Lit

ToLit Integer

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toLit :: Integer -> Lit

ToLit String

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toLit :: String -> Lit

ToLit (Literal l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toLit :: Literal l -> Lit

class ToNames a where

Methods

toNames :: a -> [Name]

Instances

ToNames a => ToNames (Maybe a)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toNames :: Maybe a -> [Name]

ToNames (InstRule l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toNames :: InstRule l -> [Name]

ToNames (InstHead l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toNames :: InstHead l -> [Name]

ToNames (Deriving l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toNames :: Deriving l -> [Name]

class ToName a where

Methods

toName :: a -> Name

Instances

ToName Name

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: Name -> Name

ToName String

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: String -> Name

ToName TyVarBndr

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: TyVarBndr -> Name

ToName (SpecialCon l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: SpecialCon l -> Name

ToName (QName l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: QName l -> Name

ToName (Name l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: Name l -> Name0

ToName (Op l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: Op l -> Name

ToName (DeclHead l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: DeclHead l -> Name

ToName (MaybePromotedName l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: MaybePromotedName l -> Name

ToName (TyVarBind l)

Defined in Language.Haskell.Meta.Syntax.Translate

Methods

toName :: TyVarBind l -> Name

moduleName :: String

noTH :: (Functor f, Show (f ())) => String -> f e -> a

noTHyet :: (Functor f, Show (f ())) => String -> String -> f e -> a

todo :: (Functor f, Show (f ())) => String -> f e -> a

nonsense :: (Functor f, Show (f ())) => String -> String -> f e -> a

toTupEl :: ToExp a => a -> Exp

toFieldExp :: FieldUpdate l -> FieldExp

toMatch :: Alt l -> Match

toBody :: Rhs l -> Body

toGuard :: GuardedRhs l -> (Guard, Exp)

toKind :: Kind l -> Kind

toTyVar :: TyVarBind l -> TyVarBndr

toStrictType :: Type l -> StrictType

(.->.) :: Type -> Type -> Type

toDerivStrategy :: DerivStrategy l -> DerivStrategy

foldAppT :: Type -> [Type] -> Type

transAct :: Maybe (Activation l) -> Phases

qualConDeclToCon :: QualConDecl l -> Con

conDeclToCon :: ConDecl l -> Con

hsMatchesToFunD :: [Match l] -> Dec

hsMatchToClause :: Match l -> Clause

hsRhsToBody :: Rhs l -> Body

hsGuardedRhsToBody :: GuardedRhs l -> Body

hsStmtToGuard :: Stmt l -> Guard