Safe Haskell	None
Language	Haskell2010

Data.Schema.Type

Documentation

data SchemaF a Source #

Constructors

Empty
Atom Type
List a
Prod [a]
Field String a
Sum (Maybe DatatypeName) [a]
Con String a
Module String [a]
Schema [a]

Instances

Instances details

Functor SchemaF Source #
Instance details Defined in Data.Schema.Type Methods fmap :: (a -> b) -> SchemaF a -> SchemaF b # (<$) :: a -> SchemaF b -> SchemaF a #
Foldable SchemaF Source #
Instance details Defined in Data.Schema.Type Methods fold :: Monoid m => SchemaF m -> m # foldMap :: Monoid m => (a -> m) -> SchemaF a -> m # foldMap' :: Monoid m => (a -> m) -> SchemaF a -> m # foldr :: (a -> b -> b) -> b -> SchemaF a -> b # foldr' :: (a -> b -> b) -> b -> SchemaF a -> b # foldl :: (b -> a -> b) -> b -> SchemaF a -> b # foldl' :: (b -> a -> b) -> b -> SchemaF a -> b # foldr1 :: (a -> a -> a) -> SchemaF a -> a # foldl1 :: (a -> a -> a) -> SchemaF a -> a # toList :: SchemaF a -> [a] # null :: SchemaF a -> Bool # length :: SchemaF a -> Int # elem :: Eq a => a -> SchemaF a -> Bool # maximum :: Ord a => SchemaF a -> a # minimum :: Ord a => SchemaF a -> a # sum :: Num a => SchemaF a -> a # product :: Num a => SchemaF a -> a #
Traversable SchemaF Source #
Instance details Defined in Data.Schema.Type Methods traverse :: Applicative f => (a -> f b) -> SchemaF a -> f (SchemaF b) # sequenceA :: Applicative f => SchemaF (f a) -> f (SchemaF a) # mapM :: Monad m => (a -> m b) -> SchemaF a -> m (SchemaF b) # sequence :: Monad m => SchemaF (m a) -> m (SchemaF a) #
Semigroup Schema Source #
Instance details Defined in Data.Schema.Type Methods (<>) :: Schema -> Schema -> Schema # sconcat :: NonEmpty Schema -> Schema # stimes :: Integral b => b -> Schema -> Schema #
Eq1 SchemaF Source #
Instance details Defined in Data.Schema.Type Methods liftEq :: (a -> b -> Bool) -> SchemaF a -> SchemaF b -> Bool #
Read1 SchemaF Source #
Instance details Defined in Data.Schema.Type Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (SchemaF a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [SchemaF a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (SchemaF a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [SchemaF a] #
Show1 SchemaF Source #
Instance details Defined in Data.Schema.Type Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> SchemaF a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [SchemaF a] -> ShowS #
Eq a => Eq (SchemaF a) Source #
Instance details Defined in Data.Schema.Type Methods (==) :: SchemaF a -> SchemaF a -> Bool # (/=) :: SchemaF a -> SchemaF a -> Bool #
Read a => Read (SchemaF a) Source #
Instance details Defined in Data.Schema.Type Methods readsPrec :: Int -> ReadS (SchemaF a) # readList :: ReadS [SchemaF a] # readPrec :: ReadPrec (SchemaF a) # readListPrec :: ReadPrec [SchemaF a] #
Show a => Show (SchemaF a) Source #
Instance details Defined in Data.Schema.Type Methods showsPrec :: Int -> SchemaF a -> ShowS # show :: SchemaF a -> String # showList :: [SchemaF a] -> ShowS #
Generic (SchemaF a) Source #
Instance details Defined in Data.Schema.Type Associated Types type Rep (SchemaF a) :: Type -> Type # Methods from :: SchemaF a -> Rep (SchemaF a) x # to :: Rep (SchemaF a) x -> SchemaF a #
Generic1 SchemaF Source #
Instance details Defined in Data.Schema.Type Associated Types type Rep1 SchemaF :: k -> Type # Methods from1 :: forall (a :: k). SchemaF a -> Rep1 SchemaF a # to1 :: forall (a :: k). Rep1 SchemaF a -> SchemaF a #
type Rep (SchemaF a) Source #
Instance details Defined in Data.Schema.Type type Rep (SchemaF a)
type Rep1 SchemaF Source #
Instance details Defined in Data.Schema.Type type Rep1 SchemaF

type Schema = Fix SchemaF Source #

data Type Source #

Constructors

TyBool
TyWord8
TyWord16
TyWord32
TyWord64
TyBin
TyFixedBin Int
TyName String

Instances

Instances details

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

sumType :: Schema -> Schema -> Schema Source #

prodType :: Schema -> Schema -> Schema Source #