Safe Haskell	None
Language	Haskell2010

CodeGen.Deserialize

Documentation

data MkDatatype Source #

Constructors

SumType
Fields datatypeName :: MkDatatypeName isName :: MkNamed datatypeSubtypes :: [MkType]
ProductType
Fields datatypeName :: MkDatatypeName isName :: MkNamed datatypeFields :: NonEmpty (String, MkField)
LeafType
Fields datatypeName :: MkDatatypeName isName :: MkNamed

Instances

Eq MkDatatype Source #
Instance details Defined in CodeGen.Deserialize Methods (==) :: MkDatatype -> MkDatatype -> Bool # (/=) :: MkDatatype -> MkDatatype -> Bool #
Ord MkDatatype Source #
Instance details Defined in CodeGen.Deserialize Methods compare :: MkDatatype -> MkDatatype -> Ordering # (<) :: MkDatatype -> MkDatatype -> Bool # (<=) :: MkDatatype -> MkDatatype -> Bool # (>) :: MkDatatype -> MkDatatype -> Bool # (>=) :: MkDatatype -> MkDatatype -> Bool # max :: MkDatatype -> MkDatatype -> MkDatatype # min :: MkDatatype -> MkDatatype -> MkDatatype #
Show MkDatatype Source #
Instance details Defined in CodeGen.Deserialize Methods showsPrec :: Int -> MkDatatype -> ShowS # show :: MkDatatype -> String # showList :: [MkDatatype] -> ShowS #
Generic MkDatatype Source #
Instance details Defined in CodeGen.Deserialize Associated Types type Rep MkDatatype :: Type -> Type # Methods from :: MkDatatype -> Rep MkDatatype x # to :: Rep MkDatatype x -> MkDatatype #
ToJSON MkDatatype Source #
Instance details Defined in CodeGen.Deserialize Methods toJSON :: MkDatatype -> Value # toEncoding :: MkDatatype -> Encoding # toJSONList :: [MkDatatype] -> Value # toEncodingList :: [MkDatatype] -> Encoding #
FromJSON MkDatatype Source #
Instance details Defined in CodeGen.Deserialize Methods parseJSON :: Value -> Parser MkDatatype # parseJSONList :: Value -> Parser [MkDatatype] #
type Rep MkDatatype Source #
Instance details Defined in CodeGen.Deserialize type Rep MkDatatype = D1 (MetaData "MkDatatype" "CodeGen.Deserialize" "tree-sitter-0.1.0.0-AAHQYqNv2wsrh7EwWIxve" False) (C1 (MetaCons "SumType" PrefixI True) (S1 (MetaSel (Just "datatypeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkDatatypeName) :: (S1 (MetaSel (Just "isName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkNamed) :: S1 (MetaSel (Just "datatypeSubtypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MkType]))) :+: (C1 (MetaCons "ProductType" PrefixI True) (S1 (MetaSel (Just "datatypeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkDatatypeName) :: (S1 (MetaSel (Just "isName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkNamed) :: S1 (MetaSel (Just "datatypeFields") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (String, MkField))))) :+: C1 (MetaCons "LeafType" PrefixI True) (S1 (MetaSel (Just "datatypeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkDatatypeName) :*: S1 (MetaSel (Just "isName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkNamed))))

data MkField Source #

Constructors

MkField
Fields fieldRequired :: MkRequired fieldTypes :: [MkType] fieldMultiple :: MkMultiple

Instances

Eq MkField Source #
Instance details Defined in CodeGen.Deserialize Methods (==) :: MkField -> MkField -> Bool # (/=) :: MkField -> MkField -> Bool #
Ord MkField Source #
Instance details Defined in CodeGen.Deserialize Methods compare :: MkField -> MkField -> Ordering # (<) :: MkField -> MkField -> Bool # (<=) :: MkField -> MkField -> Bool # (>) :: MkField -> MkField -> Bool # (>=) :: MkField -> MkField -> Bool # max :: MkField -> MkField -> MkField # min :: MkField -> MkField -> MkField #
Show MkField Source #
Instance details Defined in CodeGen.Deserialize Methods showsPrec :: Int -> MkField -> ShowS # show :: MkField -> String # showList :: [MkField] -> ShowS #
Generic MkField Source #
Instance details Defined in CodeGen.Deserialize Associated Types type Rep MkField :: Type -> Type # Methods from :: MkField -> Rep MkField x # to :: Rep MkField x -> MkField #
ToJSON MkField Source #
Instance details Defined in CodeGen.Deserialize Methods toJSON :: MkField -> Value # toEncoding :: MkField -> Encoding # toJSONList :: [MkField] -> Value # toEncodingList :: [MkField] -> Encoding #
FromJSON MkField Source #
Instance details Defined in CodeGen.Deserialize Methods parseJSON :: Value -> Parser MkField # parseJSONList :: Value -> Parser [MkField] #
type Rep MkField Source #
Instance details Defined in CodeGen.Deserialize type Rep MkField = D1 (MetaData "MkField" "CodeGen.Deserialize" "tree-sitter-0.1.0.0-AAHQYqNv2wsrh7EwWIxve" False) (C1 (MetaCons "MkField" PrefixI True) (S1 (MetaSel (Just "fieldRequired") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkRequired) :: (S1 (MetaSel (Just "fieldTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MkType]) :: S1 (MetaSel (Just "fieldMultiple") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkMultiple))))

data MkRequired Source #

Constructors

Optional
Required

Instances

Eq MkRequired Source #
Instance details Defined in CodeGen.Deserialize Methods (==) :: MkRequired -> MkRequired -> Bool # (/=) :: MkRequired -> MkRequired -> Bool #
Ord MkRequired Source #
Instance details Defined in CodeGen.Deserialize Methods compare :: MkRequired -> MkRequired -> Ordering # (<) :: MkRequired -> MkRequired -> Bool # (<=) :: MkRequired -> MkRequired -> Bool # (>) :: MkRequired -> MkRequired -> Bool # (>=) :: MkRequired -> MkRequired -> Bool # max :: MkRequired -> MkRequired -> MkRequired # min :: MkRequired -> MkRequired -> MkRequired #
Show MkRequired Source #
Instance details Defined in CodeGen.Deserialize Methods showsPrec :: Int -> MkRequired -> ShowS # show :: MkRequired -> String # showList :: [MkRequired] -> ShowS #
Generic MkRequired Source #
Instance details Defined in CodeGen.Deserialize Associated Types type Rep MkRequired :: Type -> Type # Methods from :: MkRequired -> Rep MkRequired x # to :: Rep MkRequired x -> MkRequired #
ToJSON MkRequired Source #
Instance details Defined in CodeGen.Deserialize Methods toJSON :: MkRequired -> Value # toEncoding :: MkRequired -> Encoding # toJSONList :: [MkRequired] -> Value # toEncodingList :: [MkRequired] -> Encoding #
FromJSON MkRequired Source #
Instance details Defined in CodeGen.Deserialize Methods parseJSON :: Value -> Parser MkRequired # parseJSONList :: Value -> Parser [MkRequired] #
type Rep MkRequired Source #
Instance details Defined in CodeGen.Deserialize type Rep MkRequired = D1 (MetaData "MkRequired" "CodeGen.Deserialize" "tree-sitter-0.1.0.0-AAHQYqNv2wsrh7EwWIxve" False) (C1 (MetaCons "Optional" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Required" PrefixI False) (U1 :: Type -> Type))

data MkType Source #

Constructors

MkType
Fields fieldType :: MkDatatypeName isNamed :: MkNamed

Instances

Eq MkType Source #
Instance details Defined in CodeGen.Deserialize Methods (==) :: MkType -> MkType -> Bool # (/=) :: MkType -> MkType -> Bool #
Ord MkType Source #
Instance details Defined in CodeGen.Deserialize Methods compare :: MkType -> MkType -> Ordering # (<) :: MkType -> MkType -> Bool # (<=) :: MkType -> MkType -> Bool # (>) :: MkType -> MkType -> Bool # (>=) :: MkType -> MkType -> Bool # max :: MkType -> MkType -> MkType # min :: MkType -> MkType -> MkType #
Show MkType Source #
Instance details Defined in CodeGen.Deserialize Methods showsPrec :: Int -> MkType -> ShowS # show :: MkType -> String # showList :: [MkType] -> ShowS #
Generic MkType Source #
Instance details Defined in CodeGen.Deserialize Associated Types type Rep MkType :: Type -> Type # Methods from :: MkType -> Rep MkType x # to :: Rep MkType x -> MkType #
ToJSON MkType Source #
Instance details Defined in CodeGen.Deserialize Methods toJSON :: MkType -> Value # toEncoding :: MkType -> Encoding # toJSONList :: [MkType] -> Value # toEncodingList :: [MkType] -> Encoding #
FromJSON MkType Source #
Instance details Defined in CodeGen.Deserialize Methods parseJSON :: Value -> Parser MkType # parseJSONList :: Value -> Parser [MkType] #
type Rep MkType Source #
Instance details Defined in CodeGen.Deserialize type Rep MkType = D1 (MetaData "MkType" "CodeGen.Deserialize" "tree-sitter-0.1.0.0-AAHQYqNv2wsrh7EwWIxve" False) (C1 (MetaCons "MkType" PrefixI True) (S1 (MetaSel (Just "fieldType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkDatatypeName) :*: S1 (MetaSel (Just "isNamed") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MkNamed)))

newtype MkDatatypeName Source #

Constructors

DatatypeName String

Instances

Eq MkDatatypeName Source #
Instance details Defined in CodeGen.Deserialize Methods (==) :: MkDatatypeName -> MkDatatypeName -> Bool # (/=) :: MkDatatypeName -> MkDatatypeName -> Bool #
Ord MkDatatypeName Source #
Instance details Defined in CodeGen.Deserialize Methods compare :: MkDatatypeName -> MkDatatypeName -> Ordering # (<) :: MkDatatypeName -> MkDatatypeName -> Bool # (<=) :: MkDatatypeName -> MkDatatypeName -> Bool # (>) :: MkDatatypeName -> MkDatatypeName -> Bool # (>=) :: MkDatatypeName -> MkDatatypeName -> Bool # max :: MkDatatypeName -> MkDatatypeName -> MkDatatypeName # min :: MkDatatypeName -> MkDatatypeName -> MkDatatypeName #
Show MkDatatypeName Source #
Instance details Defined in CodeGen.Deserialize Methods showsPrec :: Int -> MkDatatypeName -> ShowS # show :: MkDatatypeName -> String # showList :: [MkDatatypeName] -> ShowS #
Generic MkDatatypeName Source #
Instance details Defined in CodeGen.Deserialize Associated Types type Rep MkDatatypeName :: Type -> Type # Methods from :: MkDatatypeName -> Rep MkDatatypeName x # to :: Rep MkDatatypeName x -> MkDatatypeName #
ToJSON MkDatatypeName Source #
Instance details Defined in CodeGen.Deserialize Methods toJSON :: MkDatatypeName -> Value # toEncoding :: MkDatatypeName -> Encoding # toJSONList :: [MkDatatypeName] -> Value # toEncodingList :: [MkDatatypeName] -> Encoding #
FromJSON MkDatatypeName Source #
Instance details Defined in CodeGen.Deserialize Methods parseJSON :: Value -> Parser MkDatatypeName # parseJSONList :: Value -> Parser [MkDatatypeName] #
type Rep MkDatatypeName Source #
Instance details Defined in CodeGen.Deserialize type Rep MkDatatypeName = D1 (MetaData "MkDatatypeName" "CodeGen.Deserialize" "tree-sitter-0.1.0.0-AAHQYqNv2wsrh7EwWIxve" True) (C1 (MetaCons "DatatypeName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data MkNamed Source #

Constructors

Anonymous
Named

Instances

Eq MkNamed Source #
Instance details Defined in CodeGen.Deserialize Methods (==) :: MkNamed -> MkNamed -> Bool # (/=) :: MkNamed -> MkNamed -> Bool #
Ord MkNamed Source #
Instance details Defined in CodeGen.Deserialize Methods compare :: MkNamed -> MkNamed -> Ordering # (<) :: MkNamed -> MkNamed -> Bool # (<=) :: MkNamed -> MkNamed -> Bool # (>) :: MkNamed -> MkNamed -> Bool # (>=) :: MkNamed -> MkNamed -> Bool # max :: MkNamed -> MkNamed -> MkNamed # min :: MkNamed -> MkNamed -> MkNamed #
Show MkNamed Source #
Instance details Defined in CodeGen.Deserialize Methods showsPrec :: Int -> MkNamed -> ShowS # show :: MkNamed -> String # showList :: [MkNamed] -> ShowS #
Generic MkNamed Source #
Instance details Defined in CodeGen.Deserialize Associated Types type Rep MkNamed :: Type -> Type # Methods from :: MkNamed -> Rep MkNamed x # to :: Rep MkNamed x -> MkNamed #
ToJSON MkNamed Source #
Instance details Defined in CodeGen.Deserialize Methods toJSON :: MkNamed -> Value # toEncoding :: MkNamed -> Encoding # toJSONList :: [MkNamed] -> Value # toEncodingList :: [MkNamed] -> Encoding #
FromJSON MkNamed Source #
Instance details Defined in CodeGen.Deserialize Methods parseJSON :: Value -> Parser MkNamed # parseJSONList :: Value -> Parser [MkNamed] #
type Rep MkNamed Source #
Instance details Defined in CodeGen.Deserialize type Rep MkNamed = D1 (MetaData "MkNamed" "CodeGen.Deserialize" "tree-sitter-0.1.0.0-AAHQYqNv2wsrh7EwWIxve" False) (C1 (MetaCons "Anonymous" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Named" PrefixI False) (U1 :: Type -> Type))

data MkMultiple Source #

Constructors

Single
Multiple

Instances

Eq MkMultiple Source #
Instance details Defined in CodeGen.Deserialize Methods (==) :: MkMultiple -> MkMultiple -> Bool # (/=) :: MkMultiple -> MkMultiple -> Bool #
Ord MkMultiple Source #
Instance details Defined in CodeGen.Deserialize Methods compare :: MkMultiple -> MkMultiple -> Ordering # (<) :: MkMultiple -> MkMultiple -> Bool # (<=) :: MkMultiple -> MkMultiple -> Bool # (>) :: MkMultiple -> MkMultiple -> Bool # (>=) :: MkMultiple -> MkMultiple -> Bool # max :: MkMultiple -> MkMultiple -> MkMultiple # min :: MkMultiple -> MkMultiple -> MkMultiple #
Show MkMultiple Source #
Instance details Defined in CodeGen.Deserialize Methods showsPrec :: Int -> MkMultiple -> ShowS # show :: MkMultiple -> String # showList :: [MkMultiple] -> ShowS #
Generic MkMultiple Source #
Instance details Defined in CodeGen.Deserialize Associated Types type Rep MkMultiple :: Type -> Type # Methods from :: MkMultiple -> Rep MkMultiple x # to :: Rep MkMultiple x -> MkMultiple #
ToJSON MkMultiple Source #
Instance details Defined in CodeGen.Deserialize Methods toJSON :: MkMultiple -> Value # toEncoding :: MkMultiple -> Encoding # toJSONList :: [MkMultiple] -> Value # toEncodingList :: [MkMultiple] -> Encoding #
FromJSON MkMultiple Source #
Instance details Defined in CodeGen.Deserialize Methods parseJSON :: Value -> Parser MkMultiple # parseJSONList :: Value -> Parser [MkMultiple] #
type Rep MkMultiple Source #
Instance details Defined in CodeGen.Deserialize type Rep MkMultiple = D1 (MetaData "MkMultiple" "CodeGen.Deserialize" "tree-sitter-0.1.0.0-AAHQYqNv2wsrh7EwWIxve" False) (C1 (MetaCons "Single" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Multiple" PrefixI False) (U1 :: Type -> Type))