Safe Haskell	None
Language	Haskell2010

Language.Lsd.AST.Common

Synopsis

Documentation

Constructors

Instances details

FromJSON KindName Source #
Instance details Defined in Language.Lsd.AST.Common Methods parseJSON :: Value -> Parser KindName parseJSONList :: Value -> Parser [KindName] omittedField :: Maybe KindName
ToJSON KindName Source #
Instance details Defined in Language.Lsd.AST.Common Methods toJSON :: KindName -> Value toEncoding :: KindName -> Encoding toJSONList :: [KindName] -> Value toEncodingList :: [KindName] -> Encoding omitField :: KindName -> Bool
IsString KindName Source #
Instance details Defined in Language.Lsd.AST.Common Methods fromString :: String -> KindName #
Show KindName Source #
Instance details Defined in Language.Lsd.AST.Common Methods showsPrec :: Int -> KindName -> ShowS # show :: KindName -> String # showList :: [KindName] -> ShowS #
Eq KindName Source #
Instance details Defined in Language.Lsd.AST.Common Methods (==) :: KindName -> KindName -> Bool # (/=) :: KindName -> KindName -> Bool #
Ord KindName Source #
Instance details Defined in Language.Lsd.AST.Common Methods compare :: KindName -> KindName -> Ordering # (<) :: KindName -> KindName -> Bool # (<=) :: KindName -> KindName -> Bool # (>) :: KindName -> KindName -> Bool # (>=) :: KindName -> KindName -> Bool # max :: KindName -> KindName -> KindName # min :: KindName -> KindName -> KindName #
ToSchema KindName Source #
Instance details Defined in Language.Lsd.AST.Common Methods declareNamedSchema :: Proxy KindName -> Declare (Definitions Schema) NamedSchema

Constructors

Instances details

FromJSON TypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods parseJSON :: Value -> Parser TypeName parseJSONList :: Value -> Parser [TypeName] omittedField :: Maybe TypeName
ToJSON TypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods toJSON :: TypeName -> Value toEncoding :: TypeName -> Encoding toJSONList :: [TypeName] -> Value toEncodingList :: [TypeName] -> Encoding omitField :: TypeName -> Bool
IsString TypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods fromString :: String -> TypeName #
Show TypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods showsPrec :: Int -> TypeName -> ShowS # show :: TypeName -> String # showList :: [TypeName] -> ShowS #
Eq TypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods (==) :: TypeName -> TypeName -> Bool # (/=) :: TypeName -> TypeName -> Bool #
Ord TypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods compare :: TypeName -> TypeName -> Ordering # (<) :: TypeName -> TypeName -> Bool # (<=) :: TypeName -> TypeName -> Bool # (>) :: TypeName -> TypeName -> Bool # (>=) :: TypeName -> TypeName -> Bool # max :: TypeName -> TypeName -> TypeName # min :: TypeName -> TypeName -> TypeName #
ToSchema TypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods declareNamedSchema :: Proxy TypeName -> Declare (Definitions Schema) NamedSchema

Constructors

Instances details

FromJSON DisplayTypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods parseJSON :: Value -> Parser DisplayTypeName parseJSONList :: Value -> Parser [DisplayTypeName] omittedField :: Maybe DisplayTypeName
ToJSON DisplayTypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods toJSON :: DisplayTypeName -> Value toEncoding :: DisplayTypeName -> Encoding toJSONList :: [DisplayTypeName] -> Value toEncodingList :: [DisplayTypeName] -> Encoding omitField :: DisplayTypeName -> Bool
IsString DisplayTypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods fromString :: String -> DisplayTypeName #
Show DisplayTypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods showsPrec :: Int -> DisplayTypeName -> ShowS # show :: DisplayTypeName -> String # showList :: [DisplayTypeName] -> ShowS #
ToSchema DisplayTypeName Source #
Instance details Defined in Language.Lsd.AST.Common Methods declareNamedSchema :: Proxy DisplayTypeName -> Declare (Definitions Schema) NamedSchema

Constructors

Heading for the navigation TOC in the frontend, if static (determined by type only).

Constructors

Instances details

Show NavTocHeading Source #
Instance details Defined in Language.Lsd.AST.Common Methods showsPrec :: Int -> NavTocHeading -> ShowS # show :: NavTocHeading -> String # showList :: [NavTocHeading] -> ShowS #

A wrapper to denote values that should only be used as fallback; typically in case parsing fails.

Constructors

Instances details

Show a => Show (Fallback a) Source #
Instance details Defined in Language.Lsd.AST.Common Methods showsPrec :: Int -> Fallback a -> ShowS # show :: Fallback a -> String # showList :: [Fallback a] -> ShowS #