giml-syntax-0.1.0.0: Syntax for Giml - A purely functional programming language with emphasis on structural typing
Safe HaskellSafe-Inferred
LanguageGHC2021

Language.Giml.Syntax.Parse.Type

Description

Parser of Giml types

Documentation

parseTypeDef :: Parser (Datatype Loc) Source #

parseVariant :: Parser (Annotated Loc (Variant (Maybe Type))) Source #

parseType' :: Parser (Annotated Loc Type) Source #

parseType :: Parser (Annotated Loc Type) Source #

parseRecord' :: Parser (Annotated Loc [(Label, Type)]) Source #

typeCon :: Parser (Annotated Loc TypeCon) Source #

typeVar :: Parser (Annotated Loc TypeVar) Source #