schema-0.0.2: Encoding-independent schemas for Haskell data types.

Safe Haskell	Safe
Language	Haskell2010

Data.Schema

Documentation

data Field Source #

Constructors

Field
Fields fieldName :: String fieldType :: Type

Instances

Eq Field Source #
Instance details Defined in Data.Schema Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Read Field Source #
Instance details Defined in Data.Schema Methods readsPrec :: Int -> ReadS Field # readList :: ReadS [Field] # readPrec :: ReadPrec Field # readListPrec :: ReadPrec [Field] #
Show Field Source #
Instance details Defined in Data.Schema Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #

data Schema Source #

Constructors

SchemaRecord [Field]
SchemaInt
SchemaDouble
SchemaString

Instances

Eq Schema Source #
Instance details Defined in Data.Schema Methods (==) :: Schema -> Schema -> Bool # (/=) :: Schema -> Schema -> Bool #
Read Schema Source #
Instance details Defined in Data.Schema Methods readsPrec :: Int -> ReadS Schema # readList :: ReadS [Schema] # readPrec :: ReadPrec Schema # readListPrec :: ReadPrec [Schema] #
Show Schema Source #
Instance details Defined in Data.Schema Methods showsPrec :: Int -> Schema -> ShowS # show :: Schema -> String # showList :: [Schema] -> ShowS #
HasSchema Schema Source #
Instance details Defined in Data.Schema Methods schema :: Proxy Schema -> Type Source #

data Type Source #

Constructors

Type
Fields typeName :: String typeSchema :: Schema

Instances

Eq Type Source #
Instance details Defined in Data.Schema Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Read Type Source #
Instance details Defined in Data.Schema Methods readsPrec :: Int -> ReadS Type # readList :: ReadS [Type] # readPrec :: ReadPrec Type # readListPrec :: ReadPrec [Type] #
Show Type Source #
Instance details Defined in Data.Schema Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

class HasSchema a where Source #

Methods

schema :: Proxy a -> Type Source #

Instances

HasSchema Double Source #
Instance details Defined in Data.Schema Methods schema :: Proxy Double -> Type Source #
HasSchema Int Source #
Instance details Defined in Data.Schema Methods schema :: Proxy Int -> Type Source #
HasSchema String Source #
Instance details Defined in Data.Schema Methods schema :: Proxy String -> Type Source #
HasSchema Schema Source #
Instance details Defined in Data.Schema Methods schema :: Proxy Schema -> Type Source #