Ermine.Builtin.Core

Contents

• Host Literals
• Lists
• Maybe
• prim wrappers
• primops

Description

>>> putStrLn $ groom (lit (1 :: Int32) `cons` nil :: Core Convention a)
Data [C, C] 1
  (glob (Infix R 5) (mkModuleName "ermine" "Prelude") "(::)")
  [Data [U] 0
     (glob Idfix (mkModuleName "ermine" "Prelude") "Literal")
     [HardCore (Lit (Int 1))],
   Data [] 0 (glob Idfix (mkModuleName "ermine" "Prelude") "[]") []]

Synopsis

• class Lit a where
  • lit :: AsConvention cc => a -> Core cc b
  • lits :: AsConvention cc => [a] -> Core cc b
• cons :: AsConvention cc => Core cc a -> Core cc a -> Core cc a
• nil :: Core cc a
• just :: AsConvention cc => Core cc a -> Core cc a
• nothing :: Core cc a
• stringh :: AsConvention cc => Core cc a -> Core cc a
• inth :: AsConvention cc => Core cc a -> Core cc a
• longh :: AsConvention cc => Core cc a -> Core cc a
• cPutStrLn :: AsConvention cc => Core cc a
• cShowInt :: AsConvention cc => Core cc a
• cShowLong :: AsConvention cc => Core cc a
• cShowLongHash :: AsConvention cc => Core cc a
• cAddLong :: AsConvention cc => Core cc a
• cFromIntegerToInt :: AsConvention cc => Core cc a
• cFromIntegerToLong :: AsConvention cc => Core cc a

Host Literals

Lists

Maybe

prim wrappers

primops