Curry.FlatCurry.Annotated.Type

TODO

Documentation

data AProg a

Constructors

AProg String [String] [TypeDecl] [AFuncDecl a] [OpDecl]

Instances

Eq a => Eq (AProg a)

Methods

(==) :: AProg a -> AProg a -> Bool

(/=) :: AProg a -> AProg a -> Bool

Read a => Read (AProg a)

Methods

readsPrec :: Int -> ReadS (AProg a)

readList :: ReadS [AProg a]

readPrec :: ReadPrec (AProg a)

readListPrec :: ReadPrec [AProg a]

Show a => Show (AProg a)

Methods

showsPrec :: Int -> AProg a -> ShowS

show :: AProg a -> String

showList :: [AProg a] -> ShowS

data AFuncDecl a

Constructors

AFunc QName Int Visibility TypeExpr (ARule a)

Instances

Eq a => Eq (AFuncDecl a)

Methods

(==) :: AFuncDecl a -> AFuncDecl a -> Bool

(/=) :: AFuncDecl a -> AFuncDecl a -> Bool

Read a => Read (AFuncDecl a)

Methods

readsPrec :: Int -> ReadS (AFuncDecl a)

readList :: ReadS [AFuncDecl a]

readPrec :: ReadPrec (AFuncDecl a)

readListPrec :: ReadPrec [AFuncDecl a]

Show a => Show (AFuncDecl a)

Methods

showsPrec :: Int -> AFuncDecl a -> ShowS

show :: AFuncDecl a -> String

showList :: [AFuncDecl a] -> ShowS

data ARule a

Constructors

ARule a [(VarIndex, a)] (AExpr a)

AExternal a String

Instances

Eq a => Eq (ARule a)

Methods

(==) :: ARule a -> ARule a -> Bool

(/=) :: ARule a -> ARule a -> Bool

Read a => Read (ARule a)

Methods

readsPrec :: Int -> ReadS (ARule a)

readList :: ReadS [ARule a]

readPrec :: ReadPrec (ARule a)

readListPrec :: ReadPrec [ARule a]

Show a => Show (ARule a)

Methods

showsPrec :: Int -> ARule a -> ShowS

show :: ARule a -> String

showList :: [ARule a] -> ShowS

data AExpr a

Constructors

AVar a VarIndex

ALit a Literal

AComb a CombType (QName, a) [AExpr a]

ALet a [((VarIndex, a), AExpr a)] (AExpr a)

AFree a [(VarIndex, a)] (AExpr a)

AOr a (AExpr a) (AExpr a)

ACase a CaseType (AExpr a) [ABranchExpr a]

ATyped a (AExpr a) TypeExpr

Instances

Eq a => Eq (AExpr a)

Methods

(==) :: AExpr a -> AExpr a -> Bool

(/=) :: AExpr a -> AExpr a -> Bool

Read a => Read (AExpr a)

Methods

readsPrec :: Int -> ReadS (AExpr a)

readList :: ReadS [AExpr a]

readPrec :: ReadPrec (AExpr a)

readListPrec :: ReadPrec [AExpr a]

Show a => Show (AExpr a)

Methods

showsPrec :: Int -> AExpr a -> ShowS

show :: AExpr a -> String

showList :: [AExpr a] -> ShowS

Typeable a => Typeable (AExpr a)

Methods

typeOf :: AExpr a -> TypeExpr

data ABranchExpr a

Constructors

ABranch (APattern a) (AExpr a)

Instances

Eq a => Eq (ABranchExpr a)

Methods

(==) :: ABranchExpr a -> ABranchExpr a -> Bool

(/=) :: ABranchExpr a -> ABranchExpr a -> Bool

Read a => Read (ABranchExpr a)

Methods

readsPrec :: Int -> ReadS (ABranchExpr a)

readList :: ReadS [ABranchExpr a]

readPrec :: ReadPrec (ABranchExpr a)

readListPrec :: ReadPrec [ABranchExpr a]

Show a => Show (ABranchExpr a)

Methods

showsPrec :: Int -> ABranchExpr a -> ShowS

show :: ABranchExpr a -> String

showList :: [ABranchExpr a] -> ShowS

data APattern a

Constructors

APattern a (QName, a) [(VarIndex, a)]

ALPattern a Literal

Instances

Eq a => Eq (APattern a)

Methods

(==) :: APattern a -> APattern a -> Bool

(/=) :: APattern a -> APattern a -> Bool

Read a => Read (APattern a)

Methods

readsPrec :: Int -> ReadS (APattern a)

readList :: ReadS [APattern a]

readPrec :: ReadPrec (APattern a)

readListPrec :: ReadPrec [APattern a]

Show a => Show (APattern a)

Methods

showsPrec :: Int -> APattern a -> ShowS

show :: APattern a -> String

showList :: [APattern a] -> ShowS

Typeable a => Typeable (APattern a)

Methods

typeOf :: APattern a -> TypeExpr

module Curry.FlatCurry.Type