Sugar.Data

Documentation

data Type a m c

Constructors

Type'Ty (Ty a)

Type'Rec (Rec a m)

Type'Adt (Adt a m c)

Instances

(Eq a, Eq m, Eq c) => Eq (Type a m c)

Defined in Sugar.Data

Methods

(==) :: Type a m c -> Type a m c -> Bool

(/=) :: Type a m c -> Type a m c -> Bool

(Show a, Show m, Show c) => Show (Type a m c)

Defined in Sugar.Data

Methods

showsPrec :: Int -> Type a m c -> ShowS

show :: Type a m c -> String

showList :: [Type a m c] -> ShowS

data TypeRef

Constructors

TypeRef

Fields

• trName :: Text
• trParams :: [TypeRef]
• trLoc :: SourceLocation

Instances

Eq TypeRef

Defined in Sugar.Data

Methods

(==) :: TypeRef -> TypeRef -> Bool

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

Show TypeRef

Defined in Sugar.Data

Methods

showsPrec :: Int -> TypeRef -> ShowS

show :: TypeRef -> String

showList :: [TypeRef] -> ShowS

data Ty a

Constructors

Ty

Fields

• tyName :: Text
• tyParam :: Maybe a
• tyType :: TypeRef
• tyLoc :: SourceLocation

Instances

Eq a => Eq (Ty a)

Defined in Sugar.Data

Methods

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

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

Show a => Show (Ty a)

Defined in Sugar.Data

Methods

showsPrec :: Int -> Ty a -> ShowS

show :: Ty a -> String

showList :: [Ty a] -> ShowS

data Rec a m

Constructors

Rec

Fields

• recName :: Text
• recParam :: Maybe a
• recMems :: [Mem m]
• recLoc :: SourceLocation

Instances

(Eq a, Eq m) => Eq (Rec a m)

Defined in Sugar.Data

Methods

(==) :: Rec a m -> Rec a m -> Bool

(/=) :: Rec a m -> Rec a m -> Bool

(Show a, Show m) => Show (Rec a m)

Defined in Sugar.Data

Methods

showsPrec :: Int -> Rec a m -> ShowS

show :: Rec a m -> String

showList :: [Rec a m] -> ShowS

data Mem m

Constructors

Mem

Fields

• memLabel :: Text
• memParam :: Maybe m
• memType :: TypeRef
• memLoc :: SourceLocation

Instances

Eq m => Eq (Mem m)

Defined in Sugar.Data

Methods

(==) :: Mem m -> Mem m -> Bool

(/=) :: Mem m -> Mem m -> Bool

Show m => Show (Mem m)

Defined in Sugar.Data

Methods

showsPrec :: Int -> Mem m -> ShowS

show :: Mem m -> String

showList :: [Mem m] -> ShowS

data Adt a m c

Constructors

Adt

Fields

• adtName :: Text
• adtParam :: Maybe a
• adtCons :: [Cons m c]
• adtLoc :: SourceLocation

Instances

(Eq a, Eq c, Eq m) => Eq (Adt a m c)

Defined in Sugar.Data

Methods

(==) :: Adt a m c -> Adt a m c -> Bool

(/=) :: Adt a m c -> Adt a m c -> Bool

(Show a, Show c, Show m) => Show (Adt a m c)

Defined in Sugar.Data

Methods

showsPrec :: Int -> Adt a m c -> ShowS

show :: Adt a m c -> String

showList :: [Adt a m c] -> ShowS

data Cons m c

Constructors

Cons

Fields

• consTag :: Text
• consParam :: Maybe c
• consValue :: ConsValue m
• consLoc :: SourceLocation

Instances

(Eq c, Eq m) => Eq (Cons m c)

Defined in Sugar.Data

Methods

(==) :: Cons m c -> Cons m c -> Bool

(/=) :: Cons m c -> Cons m c -> Bool

(Show c, Show m) => Show (Cons m c)

Defined in Sugar.Data

Methods

showsPrec :: Int -> Cons m c -> ShowS

show :: Cons m c -> String

showList :: [Cons m c] -> ShowS

data ConsValue m

Constructors

ConsValue'None

ConsValue'TypeRef [TypeRef]

ConsValue'Mems [Mem m]

Instances

Eq m => Eq (ConsValue m)

Defined in Sugar.Data

Methods

(==) :: ConsValue m -> ConsValue m -> Bool

(/=) :: ConsValue m -> ConsValue m -> Bool

Show m => Show (ConsValue m)

Defined in Sugar.Data

Methods

showsPrec :: Int -> ConsValue m -> ShowS

show :: ConsValue m -> String

showList :: [ConsValue m] -> ShowS

data Err e

Constructors

Err'Info e

Err'NotTopLevelMap

Err'TypeMismatch

Err'TypeRefMismatch

Err'TypeRefParamsMismatch

Err'MemMismatch

Err'MemsMismatch

Err'ConsMismatch

Instances

Eq e => Eq (Err e)

Defined in Sugar.Data

Methods

(==) :: Err e -> Err e -> Bool

(/=) :: Err e -> Err e -> Bool

Show e => Show (Err e)

Defined in Sugar.Data

Methods

showsPrec :: Int -> Err e -> ShowS

show :: Err e -> String

showList :: [Err e] -> ShowS

data Error e

Constructors

Error

Fields

• errorLoc :: SourceLocation
• errorInfo :: Err e

Instances

Eq e => Eq (Error e)

Defined in Sugar.Data

Methods

(==) :: Error e -> Error e -> Bool

(/=) :: Error e -> Error e -> Bool

Show e => Show (Error e)

Defined in Sugar.Data

Methods

showsPrec :: Int -> Error e -> ShowS

show :: Error e -> String

showList :: [Error e] -> ShowS

data ParamFns a m c e

Constructors

ParamFns

Fields

• paramFnType :: [TokenStep] -> Either [Error e] a
• paramFnMem :: [TokenStep] -> Either [Error e] m
• paramFnCons :: [TokenStep] -> Either [Error e] c

tokenToTypes :: ParamFns a m c e -> TokenStep -> Either [Error e] [Type a m c]

tokenToType :: ParamFns a m c e -> TokenStep -> TokenStep -> Either [Error e] (Type a m c)