Language.Haskell.Codegen

Documentation

type Ann = Maybe Text

io :: Type

prettyDoc :: Ann -> Doc ann

data ADT

Constructors

ADT

Fields

• name :: Text
• ann :: Ann
• constr :: [Constr]
• mapping :: Map String String

Instances

Eq ADT

Defined in Language.Haskell.Codegen

Methods

(==) :: ADT -> ADT -> Bool

(/=) :: ADT -> ADT -> Bool

Show ADT

Defined in Language.Haskell.Codegen

Methods

showsPrec :: Int -> ADT -> ShowS

show :: ADT -> String

showList :: [ADT] -> ShowS

Generic ADT

Defined in Language.Haskell.Codegen

Associated Types

type Rep ADT :: Type -> Type

Methods

from :: ADT -> Rep ADT x

to :: Rep ADT x -> ADT

Pretty ADT

Defined in Language.Haskell.Codegen

Methods

pretty :: ADT -> Doc ann

prettyList :: [ADT] -> Doc ann

type Rep ADT

Defined in Language.Haskell.Codegen

type Rep ADT = D1 ('MetaData "ADT" "Language.Haskell.Codegen" "tdlib-gen-0.1.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]) :*: S1 ('MetaSel ('Just "mapping") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String String)))))

prettyConstrs :: [Doc ann] -> Doc ann

data Field

Constructors

Field

Fields

• name :: Text
• ann :: Ann
• ty :: Type

Instances

Eq Field

Defined in Language.Haskell.Codegen

Methods

(==) :: Field -> Field -> Bool

(/=) :: Field -> Field -> Bool

Show Field

Defined in Language.Haskell.Codegen

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

Generic Field

Defined in Language.Haskell.Codegen

Associated Types

type Rep Field :: Type -> Type

Methods

from :: Field -> Rep Field x

to :: Rep Field x -> Field

Pretty Field

Defined in Language.Haskell.Codegen

Methods

pretty :: Field -> Doc ann

prettyList :: [Field] -> Doc ann

type Rep Field

Defined in Language.Haskell.Codegen

type Rep Field = D1 ('MetaData "Field" "Language.Haskell.Codegen" "tdlib-gen-0.1.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))))

data Constr

Constructors

Constr

Fields

• name :: Text
• ann :: Ann
• fields :: [Field]

Instances

Eq Constr

Defined in Language.Haskell.Codegen

Methods

(==) :: Constr -> Constr -> Bool

(/=) :: Constr -> Constr -> Bool

Show Constr

Defined in Language.Haskell.Codegen

Methods

showsPrec :: Int -> Constr -> ShowS

show :: Constr -> String

showList :: [Constr] -> ShowS

Generic Constr

Defined in Language.Haskell.Codegen

Associated Types

type Rep Constr :: Type -> Type

Methods

from :: Constr -> Rep Constr x

to :: Rep Constr x -> Constr

Pretty Constr

Defined in Language.Haskell.Codegen

Methods

pretty :: Constr -> Doc ann

prettyList :: [Constr] -> Doc ann

type Rep Constr

Defined in Language.Haskell.Codegen

type Rep Constr = D1 ('MetaData "Constr" "Language.Haskell.Codegen" "tdlib-gen-0.1.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]))))

data Type

Constructors

Type Text

Arr Type Type

App Type Type

Instances

Eq Type

Defined in Language.Haskell.Codegen

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Show Type

Defined in Language.Haskell.Codegen

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Generic Type

Defined in Language.Haskell.Codegen

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

Pretty Type

Defined in Language.Haskell.Codegen

Methods

pretty :: Type -> Doc ann

prettyList :: [Type] -> Doc ann

type Rep Type

Defined in Language.Haskell.Codegen

type Rep Type = D1 ('MetaData "Type" "Language.Haskell.Codegen" "tdlib-gen-0.1.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))))

data TypeSig

Constructors

Result

Fields

• ty :: Type
• ann :: Ann

Conn

Fields

• ty :: Type
• ann :: Ann
• name :: Text
• res :: TypeSig

Instances

Eq TypeSig

Defined in Language.Haskell.Codegen

Methods

(==) :: TypeSig -> TypeSig -> Bool

(/=) :: TypeSig -> TypeSig -> Bool

Show TypeSig

Defined in Language.Haskell.Codegen

Methods

showsPrec :: Int -> TypeSig -> ShowS

show :: TypeSig -> String

showList :: [TypeSig] -> ShowS

Generic TypeSig

Defined in Language.Haskell.Codegen

Associated Types

type Rep TypeSig :: Type -> Type

Methods

from :: TypeSig -> Rep TypeSig x

to :: Rep TypeSig x -> TypeSig

Pretty TypeSig

Defined in Language.Haskell.Codegen

Methods

pretty :: TypeSig -> Doc ann

prettyList :: [TypeSig] -> Doc ann

type Rep TypeSig

Defined in Language.Haskell.Codegen

type Rep TypeSig = D1 ('MetaData "TypeSig" "Language.Haskell.Codegen" "tdlib-gen-0.1.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 "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "res") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeSig))))

data FunDef

Constructors

FunDef

Fields

• name :: Text
• ann :: Ann
• constr :: Constr
• res :: Type

Instances

Eq FunDef

Defined in Language.Haskell.Codegen

Methods

(==) :: FunDef -> FunDef -> Bool

(/=) :: FunDef -> FunDef -> Bool

Show FunDef

Defined in Language.Haskell.Codegen

Methods

showsPrec :: Int -> FunDef -> ShowS

show :: FunDef -> String

showList :: [FunDef] -> ShowS

Generic FunDef

Defined in Language.Haskell.Codegen

Associated Types

type Rep FunDef :: Type -> Type

Methods

from :: FunDef -> Rep FunDef x

to :: Rep FunDef x -> FunDef

Pretty FunDef

Defined in Language.Haskell.Codegen

Methods

pretty :: FunDef -> Doc ann

prettyList :: [FunDef] -> Doc ann

type Rep FunDef

Defined in Language.Haskell.Codegen

type Rep FunDef = D1 ('MetaData "FunDef" "Language.Haskell.Codegen" "tdlib-gen-0.1.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))))