Data.Schema.PrettyPrint

Documentation

newtype SchemaDoc a

Constructors

SchemaDoc

Fields

• getDoc :: AnsiDoc

Instances

Functor SchemaDoc

Defined in Data.Schema.PrettyPrint

Methods

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

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

Applicative SchemaDoc

Defined in Data.Schema.PrettyPrint

Methods

pure :: a -> SchemaDoc a

(<*>) :: SchemaDoc (a -> b) -> SchemaDoc a -> SchemaDoc b

liftA2 :: (a -> b -> c) -> SchemaDoc a -> SchemaDoc b -> SchemaDoc c

(*>) :: SchemaDoc a -> SchemaDoc b -> SchemaDoc b

(<*) :: SchemaDoc a -> SchemaDoc b -> SchemaDoc a

class ToSchemaDoc s where

Methods

toSchemaDoc :: s ~> SchemaDoc

Instances

ToSchemaDoc s => ToSchemaDoc (Schema s)

Defined in Data.Schema.PrettyPrint

Methods

toSchemaDoc :: Schema s ~> SchemaDoc

(ToSchemaDoc p, ToSchemaDoc q) => ToSchemaDoc (Sum p q)

Defined in Data.Schema.PrettyPrint

Methods

toSchemaDoc :: Sum p q ~> SchemaDoc

putSchema :: ToSchemaDoc s => s a -> IO ()

Renders the given schema to the standard out

newtype SchemaLayout a

Constructors

SchemaLayout

Fields

• runSchemaLayout :: a -> AnsiDoc

Instances

Contravariant SchemaLayout

Defined in Data.Schema.PrettyPrint

Methods

contramap :: (a -> b) -> SchemaLayout b -> SchemaLayout a

(>$) :: b -> SchemaLayout b -> SchemaLayout a

Divisible SchemaLayout

Defined in Data.Schema.PrettyPrint

Methods

divide :: (a -> (b, c)) -> SchemaLayout b -> SchemaLayout c -> SchemaLayout a

conquer :: SchemaLayout a

class ToSchemaLayout s where

Methods

toSchemaLayout :: s ~> SchemaLayout

Instances

ToSchemaLayout s => ToSchemaLayout (Schema s)

Defined in Data.Schema.PrettyPrint

Methods

toSchemaLayout :: Schema s ~> SchemaLayout

(ToSchemaLayout p, ToSchemaLayout q) => ToSchemaLayout (Sum p q)

Defined in Data.Schema.PrettyPrint

Methods

toSchemaLayout :: Sum p q ~> SchemaLayout

prettyPrinter :: ToSchemaLayout s => s a -> a -> IO ()

Generates a renderer of data types based on the given schema