Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Eq ADT Source # | |
Show ADT Source # | |
Generic ADT Source # | |
Pretty ADT Source # | |
Defined in Language.Haskell.Codegen | |
type Rep ADT Source # | |
Defined in Language.Haskell.Codegen type Rep ADT = D1 ('MetaData "ADT" "Language.Haskell.Codegen" "tdlib-gen-0.4.0-inplace" 'False) (C1 ('MetaCons "ADT" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ann) :*: S1 ('MetaSel ('Just "constr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constr])))) |
constructors :: ADT -> Int Source #
prettyConstrs :: [Doc ann] -> Doc ann Source #
Instances
Eq Field Source # | |
Show Field Source # | |
Generic Field Source # | |
Pretty Field Source # | |
Defined in Language.Haskell.Codegen | |
type Rep Field Source # | |
Defined in Language.Haskell.Codegen type Rep Field = D1 ('MetaData "Field" "Language.Haskell.Codegen" "tdlib-gen-0.4.0-inplace" 'False) (C1 ('MetaCons "Field" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ann) :*: S1 ('MetaSel ('Just "ty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) |
Instances
Eq Constr Source # | |
Show Constr Source # | |
Generic Constr Source # | |
Pretty Constr Source # | |
Defined in Language.Haskell.Codegen | |
type Rep Constr Source # | |
Defined in Language.Haskell.Codegen type Rep Constr = D1 ('MetaData "Constr" "Language.Haskell.Codegen" "tdlib-gen-0.4.0-inplace" 'False) (C1 ('MetaCons "Constr" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ann) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Field])))) |
Instances
Eq Type Source # | |
Show Type Source # | |
Generic Type Source # | |
Pretty Type Source # | |
Defined in Language.Haskell.Codegen | |
type Rep Type Source # | |
Defined in Language.Haskell.Codegen type Rep Type = D1 ('MetaData "Type" "Language.Haskell.Codegen" "tdlib-gen-0.4.0-inplace" 'False) (C1 ('MetaCons "Type" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Arr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "App" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) |
Instances
Eq TypeSig Source # | |
Show TypeSig Source # | |
Generic TypeSig Source # | |
Pretty TypeSig Source # | |
Defined in Language.Haskell.Codegen | |
type Rep TypeSig Source # | |
Defined in Language.Haskell.Codegen type Rep TypeSig = D1 ('MetaData "TypeSig" "Language.Haskell.Codegen" "tdlib-gen-0.4.0-inplace" 'False) (C1 ('MetaCons "Result" 'PrefixI 'True) (S1 ('MetaSel ('Just "ty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ann)) :+: C1 ('MetaCons "Conn" 'PrefixI 'True) (S1 ('MetaSel ('Just "ty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ann) :*: S1 ('MetaSel ('Just "res") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeSig)))) |
Instances
Eq FunDef Source # | |
Show FunDef Source # | |
Generic FunDef Source # | |
Pretty FunDef Source # | |
Defined in Language.Haskell.Codegen | |
type Rep FunDef Source # | |
Defined in Language.Haskell.Codegen type Rep FunDef = D1 ('MetaData "FunDef" "Language.Haskell.Codegen" "tdlib-gen-0.4.0-inplace" 'False) (C1 ('MetaCons "FunDef" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ann)) :*: (S1 ('MetaSel ('Just "constr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constr) :*: S1 ('MetaSel ('Just "res") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) |
flattenSig :: FunDef -> Doc ann Source #
flattenBody :: FunDef -> Doc ann Source #
flattenPrint :: FunDef -> Doc ann Source #
simplePretty :: FunDef -> Doc ann Source #