Data.Schema.Type

Documentation

data SchemaF a

Constructors

Empty

Atom Type

List a

Prod [a]

Field String a

Sum (Maybe DatatypeName) [a]

Con String a

Module String [a]

Schema [a]

Instances

Functor SchemaF

Defined in Data.Schema.Type

Methods

fmap :: (a -> b) -> SchemaF a -> SchemaF b

(<$) :: a -> SchemaF b -> SchemaF a

Foldable SchemaF

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

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

Defined in Data.Schema.Type

Methods

(<>) :: Schema -> Schema -> Schema

sconcat :: NonEmpty Schema -> Schema

stimes :: Integral b => b -> Schema -> Schema

Eq1 SchemaF

Defined in Data.Schema.Type

Methods

liftEq :: (a -> b -> Bool) -> SchemaF a -> SchemaF b -> Bool

Read1 SchemaF

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

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)

Defined in Data.Schema.Type

Methods

(==) :: SchemaF a -> SchemaF a -> Bool

(/=) :: SchemaF a -> SchemaF a -> Bool

Read a => Read (SchemaF a)

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)

Defined in Data.Schema.Type

Methods

showsPrec :: Int -> SchemaF a -> ShowS

show :: SchemaF a -> String

showList :: [SchemaF a] -> ShowS

Generic (SchemaF a)

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

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)

Defined in Data.Schema.Type

type Rep (SchemaF a)

type Rep1 SchemaF

Defined in Data.Schema.Type

type Rep1 SchemaF

type Schema = Fix SchemaF

data Type

Constructors

TyBool

TyWord8

TyWord16

TyWord32

TyWord64

TyBin

TyFixedBin Int

TyName String

Instances

Eq Type

Defined in Data.Schema.Type

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Read Type

Defined in Data.Schema.Type

Methods

readsPrec :: Int -> ReadS Type

readList :: ReadS [Type]

readPrec :: ReadPrec Type

readListPrec :: ReadPrec [Type]

Show Type

Defined in Data.Schema.Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

sumType :: Schema -> Schema -> Schema

prodType :: Schema -> Schema -> Schema