Data.Aeson.Flow

Derive Flow types using aeson Options.

Does not currently support the unwrapUnaryRecords option.

AST types

class Typeable a => FlowTyped a where

Minimal complete definition

Nothing

Methods

flowType :: Proxy a -> FlowType

default flowType :: (GDatatypeInfo a, All2 FlowTyped (GCode a)) => Proxy a -> FlowType

flowTypeName :: Proxy a -> Maybe Text

default flowTypeName :: (Generic a, Rep a ~ D1 ('MetaData name mod pkg t) c, KnownSymbol name) => Proxy a -> Maybe Text

flowTypeVars :: Proxy a -> [Flowable]

flowOptions :: Proxy a -> Options

isPrim :: Proxy a -> Bool

Instances

FlowTyped Value

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Value -> FlowType

flowTypeName :: Proxy Value -> Maybe Text

flowTypeVars :: Proxy Value -> [Flowable]

flowOptions :: Proxy Value -> Options

isPrim :: Proxy Value -> Bool

FlowTyped Void

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Void -> FlowType

flowTypeName :: Proxy Void -> Maybe Text

flowTypeVars :: Proxy Void -> [Flowable]

flowOptions :: Proxy Void -> Options

isPrim :: Proxy Void -> Bool

FlowTyped Int16

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Int16 -> FlowType

flowTypeName :: Proxy Int16 -> Maybe Text

flowTypeVars :: Proxy Int16 -> [Flowable]

flowOptions :: Proxy Int16 -> Options

isPrim :: Proxy Int16 -> Bool

FlowTyped Int32

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Int32 -> FlowType

flowTypeName :: Proxy Int32 -> Maybe Text

flowTypeVars :: Proxy Int32 -> [Flowable]

flowOptions :: Proxy Int32 -> Options

isPrim :: Proxy Int32 -> Bool

FlowTyped Int64

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Int64 -> FlowType

flowTypeName :: Proxy Int64 -> Maybe Text

flowTypeVars :: Proxy Int64 -> [Flowable]

flowOptions :: Proxy Int64 -> Options

isPrim :: Proxy Int64 -> Bool

FlowTyped Int8

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Int8 -> FlowType

flowTypeName :: Proxy Int8 -> Maybe Text

flowTypeVars :: Proxy Int8 -> [Flowable]

flowOptions :: Proxy Int8 -> Options

isPrim :: Proxy Int8 -> Bool

FlowTyped Word16

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Word16 -> FlowType

flowTypeName :: Proxy Word16 -> Maybe Text

flowTypeVars :: Proxy Word16 -> [Flowable]

flowOptions :: Proxy Word16 -> Options

isPrim :: Proxy Word16 -> Bool

FlowTyped Word32

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Word32 -> FlowType

flowTypeName :: Proxy Word32 -> Maybe Text

flowTypeVars :: Proxy Word32 -> [Flowable]

flowOptions :: Proxy Word32 -> Options

isPrim :: Proxy Word32 -> Bool

FlowTyped Word64

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Word64 -> FlowType

flowTypeName :: Proxy Word64 -> Maybe Text

flowTypeVars :: Proxy Word64 -> [Flowable]

flowOptions :: Proxy Word64 -> Options

isPrim :: Proxy Word64 -> Bool

FlowTyped Word8

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Word8 -> FlowType

flowTypeName :: Proxy Word8 -> Maybe Text

flowTypeVars :: Proxy Word8 -> [Flowable]

flowOptions :: Proxy Word8 -> Options

isPrim :: Proxy Word8 -> Bool

FlowTyped IntSet

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy IntSet -> FlowType

flowTypeName :: Proxy IntSet -> Maybe Text

flowTypeVars :: Proxy IntSet -> [Flowable]

flowOptions :: Proxy IntSet -> Options

isPrim :: Proxy IntSet -> Bool

FlowTyped Scientific

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Scientific -> FlowType

flowTypeName :: Proxy Scientific -> Maybe Text

flowTypeVars :: Proxy Scientific -> [Flowable]

flowOptions :: Proxy Scientific -> Options

isPrim :: Proxy Scientific -> Bool

FlowTyped Text

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Text -> FlowType

flowTypeName :: Proxy Text -> Maybe Text

flowTypeVars :: Proxy Text -> [Flowable]

flowOptions :: Proxy Text -> Options

isPrim :: Proxy Text -> Bool

FlowTyped Text

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Text -> FlowType

flowTypeName :: Proxy Text -> Maybe Text0

flowTypeVars :: Proxy Text -> [Flowable]

flowOptions :: Proxy Text -> Options

isPrim :: Proxy Text -> Bool

FlowTyped UTCTime

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy UTCTime -> FlowType

flowTypeName :: Proxy UTCTime -> Maybe Text

flowTypeVars :: Proxy UTCTime -> [Flowable]

flowOptions :: Proxy UTCTime -> Options

isPrim :: Proxy UTCTime -> Bool

FlowTyped String

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy String -> FlowType

flowTypeName :: Proxy String -> Maybe Text

flowTypeVars :: Proxy String -> [Flowable]

flowOptions :: Proxy String -> Options

isPrim :: Proxy String -> Bool

FlowTyped ()

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy () -> FlowType

flowTypeName :: Proxy () -> Maybe Text

flowTypeVars :: Proxy () -> [Flowable]

flowOptions :: Proxy () -> Options

isPrim :: Proxy () -> Bool

FlowTyped Bool

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Bool -> FlowType

flowTypeName :: Proxy Bool -> Maybe Text

flowTypeVars :: Proxy Bool -> [Flowable]

flowOptions :: Proxy Bool -> Options

isPrim :: Proxy Bool -> Bool

FlowTyped Char

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Char -> FlowType

flowTypeName :: Proxy Char -> Maybe Text

flowTypeVars :: Proxy Char -> [Flowable]

flowOptions :: Proxy Char -> Options

isPrim :: Proxy Char -> Bool

FlowTyped Double

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Double -> FlowType

flowTypeName :: Proxy Double -> Maybe Text

flowTypeVars :: Proxy Double -> [Flowable]

flowOptions :: Proxy Double -> Options

isPrim :: Proxy Double -> Bool

FlowTyped Float

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Float -> FlowType

flowTypeName :: Proxy Float -> Maybe Text

flowTypeVars :: Proxy Float -> [Flowable]

flowOptions :: Proxy Float -> Options

isPrim :: Proxy Float -> Bool

FlowTyped Int

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Int -> FlowType

flowTypeName :: Proxy Int -> Maybe Text

flowTypeVars :: Proxy Int -> [Flowable]

flowOptions :: Proxy Int -> Options

isPrim :: Proxy Int -> Bool

FlowTyped Word

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy Word -> FlowType

flowTypeName :: Proxy Word -> Maybe Text

flowTypeVars :: Proxy Word -> [Flowable]

flowOptions :: Proxy Word -> Options

isPrim :: Proxy Word -> Bool

FlowTyped a => FlowTyped (IntMap a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (IntMap a) -> FlowType

flowTypeName :: Proxy (IntMap a) -> Maybe Text

flowTypeVars :: Proxy (IntMap a) -> [Flowable]

flowOptions :: Proxy (IntMap a) -> Options

isPrim :: Proxy (IntMap a) -> Bool

FlowTyped a => FlowTyped (Set a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (Set a) -> FlowType

flowTypeName :: Proxy (Set a) -> Maybe Text

flowTypeVars :: Proxy (Set a) -> [Flowable]

flowOptions :: Proxy (Set a) -> Options

isPrim :: Proxy (Set a) -> Bool

FlowTyped a => FlowTyped (Tree a)

This instance is defined recursively. You'll probably need to use dependencies to extract a usable definition

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (Tree a) -> FlowType

flowTypeName :: Proxy (Tree a) -> Maybe Text

flowTypeVars :: Proxy (Tree a) -> [Flowable]

flowOptions :: Proxy (Tree a) -> Options

isPrim :: Proxy (Tree a) -> Bool

FlowTyped a => FlowTyped (HashSet a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (HashSet a) -> FlowType

flowTypeName :: Proxy (HashSet a) -> Maybe Text

flowTypeVars :: Proxy (HashSet a) -> [Flowable]

flowOptions :: Proxy (HashSet a) -> Options

isPrim :: Proxy (HashSet a) -> Bool

FlowTyped a => FlowTyped (Vector a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (Vector a) -> FlowType

flowTypeName :: Proxy (Vector a) -> Maybe Text

flowTypeVars :: Proxy (Vector a) -> [Flowable]

flowOptions :: Proxy (Vector a) -> Options

isPrim :: Proxy (Vector a) -> Bool

FlowTyped a => FlowTyped (Vector a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (Vector a) -> FlowType

flowTypeName :: Proxy (Vector a) -> Maybe Text

flowTypeVars :: Proxy (Vector a) -> [Flowable]

flowOptions :: Proxy (Vector a) -> Options

isPrim :: Proxy (Vector a) -> Bool

FlowTyped a => FlowTyped (Vector a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (Vector a) -> FlowType

flowTypeName :: Proxy (Vector a) -> Maybe Text

flowTypeVars :: Proxy (Vector a) -> [Flowable]

flowOptions :: Proxy (Vector a) -> Options

isPrim :: Proxy (Vector a) -> Bool

FlowTyped a => FlowTyped (Maybe a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (Maybe a) -> FlowType

flowTypeName :: Proxy (Maybe a) -> Maybe Text

flowTypeVars :: Proxy (Maybe a) -> [Flowable]

flowOptions :: Proxy (Maybe a) -> Options

isPrim :: Proxy (Maybe a) -> Bool

FlowTyped a => FlowTyped [a]

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy [a] -> FlowType

flowTypeName :: Proxy [a] -> Maybe Text

flowTypeVars :: Proxy [a] -> [Flowable]

flowOptions :: Proxy [a] -> Options

isPrim :: Proxy [a] -> Bool

(FlowTyped a, FlowTyped b) => FlowTyped (Either a b)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (Either a b) -> FlowType

flowTypeName :: Proxy (Either a b) -> Maybe Text

flowTypeVars :: Proxy (Either a b) -> [Flowable]

flowOptions :: Proxy (Either a b) -> Options

isPrim :: Proxy (Either a b) -> Bool

(Typeable a, Typeable k) => FlowTyped (Fixed a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (Fixed a) -> FlowType

flowTypeName :: Proxy (Fixed a) -> Maybe Text

flowTypeVars :: Proxy (Fixed a) -> [Flowable]

flowOptions :: Proxy (Fixed a) -> Options

isPrim :: Proxy (Fixed a) -> Bool

(FlowTyped k, FlowTyped a, ToJSONKey k) => FlowTyped (HashMap k a)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (HashMap k a) -> FlowType

flowTypeName :: Proxy (HashMap k a) -> Maybe Text

flowTypeVars :: Proxy (HashMap k a) -> [Flowable]

flowOptions :: Proxy (HashMap k a) -> Options

isPrim :: Proxy (HashMap k a) -> Bool

(FlowTyped a, FlowTyped b) => FlowTyped (a, b)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (a, b) -> FlowType

flowTypeName :: Proxy (a, b) -> Maybe Text

flowTypeVars :: Proxy (a, b) -> [Flowable]

flowOptions :: Proxy (a, b) -> Options

isPrim :: Proxy (a, b) -> Bool

(FlowTyped a, ReifyFlowTyFields fs, Typeable fs, Typeable k) => FlowTyped (FlowTyFields a fs)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (FlowTyFields a fs) -> FlowType

flowTypeName :: Proxy (FlowTyFields a fs) -> Maybe Text

flowTypeVars :: Proxy (FlowTyFields a fs) -> [Flowable]

flowOptions :: Proxy (FlowTyFields a fs) -> Options

isPrim :: Proxy (FlowTyFields a fs) -> Bool

(FlowTyped a, FlowTyped b, FlowTyped c) => FlowTyped (a, b, c)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (a, b, c) -> FlowType

flowTypeName :: Proxy (a, b, c) -> Maybe Text

flowTypeVars :: Proxy (a, b, c) -> [Flowable]

flowOptions :: Proxy (a, b, c) -> Options

isPrim :: Proxy (a, b, c) -> Bool

(FlowTyped a, FlowTyped b, FlowTyped c, FlowTyped d) => FlowTyped (a, b, c, d)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (a, b, c, d) -> FlowType

flowTypeName :: Proxy (a, b, c, d) -> Maybe Text

flowTypeVars :: Proxy (a, b, c, d) -> [Flowable]

flowOptions :: Proxy (a, b, c, d) -> Options

isPrim :: Proxy (a, b, c, d) -> Bool

(FlowTyped a, FlowTyped b, FlowTyped c, FlowTyped d, FlowTyped e) => FlowTyped (a, b, c, d, e)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (a, b, c, d, e) -> FlowType

flowTypeName :: Proxy (a, b, c, d, e) -> Maybe Text

flowTypeVars :: Proxy (a, b, c, d, e) -> [Flowable]

flowOptions :: Proxy (a, b, c, d, e) -> Options

isPrim :: Proxy (a, b, c, d, e) -> Bool

callType :: forall a. FlowTyped a => Proxy a -> FlowType

data FlowTypeF a

The main AST for flowtypes.

Instances

Foldable FlowTypeF

Defined in Data.Aeson.Flow

Methods

fold :: Monoid m => FlowTypeF m -> m

foldMap :: Monoid m => (a -> m) -> FlowTypeF a -> m

foldMap' :: Monoid m => (a -> m) -> FlowTypeF a -> m

foldr :: (a -> b -> b) -> b -> FlowTypeF a -> b

foldr' :: (a -> b -> b) -> b -> FlowTypeF a -> b

foldl :: (b -> a -> b) -> b -> FlowTypeF a -> b

foldl' :: (b -> a -> b) -> b -> FlowTypeF a -> b

foldr1 :: (a -> a -> a) -> FlowTypeF a -> a

foldl1 :: (a -> a -> a) -> FlowTypeF a -> a

toList :: FlowTypeF a -> [a]

null :: FlowTypeF a -> Bool

length :: FlowTypeF a -> Int

elem :: Eq a => a -> FlowTypeF a -> Bool

maximum :: Ord a => FlowTypeF a -> a

minimum :: Ord a => FlowTypeF a -> a

sum :: Num a => FlowTypeF a -> a

product :: Num a => FlowTypeF a -> a

Eq1 FlowTypeF

Defined in Data.Aeson.Flow

Methods

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

Show1 FlowTypeF

Defined in Data.Aeson.Flow

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> FlowTypeF a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [FlowTypeF a] -> ShowS

Traversable FlowTypeF

Defined in Data.Aeson.Flow

Methods

traverse :: Applicative f => (a -> f b) -> FlowTypeF a -> f (FlowTypeF b)

sequenceA :: Applicative f => FlowTypeF (f a) -> f (FlowTypeF a)

mapM :: Monad m => (a -> m b) -> FlowTypeF a -> m (FlowTypeF b)

sequence :: Monad m => FlowTypeF (m a) -> m (FlowTypeF a)

Functor FlowTypeF

Defined in Data.Aeson.Flow

Methods

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

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

Show a => Show (FlowTypeF a)

Defined in Data.Aeson.Flow

Methods

showsPrec :: Int -> FlowTypeF a -> ShowS

show :: FlowTypeF a -> String

showList :: [FlowTypeF a] -> ShowS

Eq a => Eq (FlowTypeF a)

Defined in Data.Aeson.Flow

Methods

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

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

type FlowType = Fix FlowTypeF

pattern FObject :: HashMap Text FlowType -> FlowType

pattern FExactObject :: HashMap Text FlowType -> FlowType

pattern FObjectMap :: Text -> FlowType -> FlowType -> FlowType

pattern FArray :: FlowType -> FlowType

pattern FTuple :: Vector FlowType -> FlowType

pattern FLabelledTuple :: Vector (Maybe Text, FlowType) -> FlowType

pattern FFun :: Vector (Text, FlowType) -> FlowType -> FlowType

pattern FAlt :: FlowType -> FlowType -> FlowType

pattern FPrim :: PrimType -> FlowType

pattern FPrimBoolean :: FlowType

pattern FPrimNumber :: FlowType

pattern FPrimString :: FlowType

pattern FPrimBottom :: FlowType

pattern FPrimMixed :: FlowType

pattern FPrimUnknown :: FlowType

pattern FPrimNull :: FlowType

pattern FPrimNever :: FlowType

pattern FPrimUndefined :: FlowType

pattern FPrimAny :: FlowType

pattern FNullable :: FlowType -> FlowType

pattern FOmitable :: FlowType -> FlowType

pattern FLiteral :: Value -> FlowType

pattern FTag :: Text -> FlowType

pattern FName :: FlowName -> FlowType

pattern FGenericParam :: Int -> FlowType

pattern FCallType :: FlowName -> [FlowType] -> FlowType

Code generation

Wholesale ES6flowtypescript modules

data Export

Instances

Eq Export

Defined in Data.Aeson.Flow

Methods

(==) :: Export -> Export -> Bool

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

export :: forall a. FlowTyped a => Export

data RenderMode

Constructors

RenderTypeScript

RenderFlow

Instances

Show RenderMode

Defined in Data.Aeson.Flow

Methods

showsPrec :: Int -> RenderMode -> ShowS

show :: RenderMode -> String

showList :: [RenderMode] -> ShowS

Eq RenderMode

Defined in Data.Aeson.Flow

Methods

(==) :: RenderMode -> RenderMode -> Bool

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

data RenderOptions

Constructors

RenderOptions

Fields

• renderMode :: !RenderMode

Instances

Show RenderOptions

Defined in Data.Aeson.Flow

Methods

showsPrec :: Int -> RenderOptions -> ShowS

show :: RenderOptions -> String

showList :: [RenderOptions] -> ShowS

Eq RenderOptions

Defined in Data.Aeson.Flow

Methods

(==) :: RenderOptions -> RenderOptions -> Bool

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

data ModuleOptions

Constructors

ModuleOptions

Fields

• pragmas :: [Text]

  You might want to change this to include e.g. flow-runtime

• header :: [Text]
• exportDeps :: Bool
• computeDeps :: Bool
• renderOptions :: RenderOptions

Instances

Show ModuleOptions

Defined in Data.Aeson.Flow

Methods

showsPrec :: Int -> ModuleOptions -> ShowS

show :: ModuleOptions -> String

showList :: [ModuleOptions] -> ShowS

Eq ModuleOptions

Defined in Data.Aeson.Flow

Methods

(==) :: ModuleOptions -> ModuleOptions -> Bool

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

typeScriptModuleOptions :: ModuleOptions

flowModuleOptions :: ModuleOptions

generateModule :: ModuleOptions -> [Export] -> Text

writeModule :: ModuleOptions -> FilePath -> [Export] -> IO ()

showTypeAs :: RenderOptions -> Bool -> Text -> FlowType -> [Flowable] -> Text

Generate a type declaration, possibly an export.

exportTypeAs :: RenderOptions -> Text -> FlowType -> [Flowable] -> Text

Generate a export type declaration.

Convenience for generating flowtypes from other types

data FlowTyFields :: * -> [k] -> * where

Useful for declaring flowtypes from type-level key/value sets, like

FlowTyFields :: FlowTyFields Person '['("name", String), '("email", String)]

Constructors

FlowTyFields :: FlowTyFields k fs

Instances

(FlowTyped a, ReifyFlowTyFields fs, Typeable fs, Typeable k) => FlowTyped (FlowTyFields a fs)

Defined in Data.Aeson.Flow

Methods

flowType :: Proxy (FlowTyFields a fs) -> FlowType

flowTypeName :: Proxy (FlowTyFields a fs) -> Maybe Text

flowTypeVars :: Proxy (FlowTyFields a fs) -> [Flowable]

flowOptions :: Proxy (FlowTyFields a fs) -> Options

isPrim :: Proxy (FlowTyFields a fs) -> Bool

type family FlowDeconstructField (k :: t) :: (Symbol, *)

Instances

type FlowDeconstructField ('(a, b) :: (Symbol, Type))

Defined in Data.Aeson.Flow

type FlowDeconstructField ('(a, b) :: (Symbol, Type)) = '(a, b)

TS specific

showTypeScriptType :: FlowType -> [Flowable] -> Text

Pretty-print a flowtype in flowtype syntax

Flow specific

showFlowType :: FlowType -> [Flowable] -> Text

Pretty-print a flowtype in flowtype syntax

Dependencies

exportsDependencies :: [Export] -> Set FlowName

dependencies :: FlowTyped a => Proxy a -> Set FlowName

Compute all the dependencies of a FlowTyped thing, including itself.

Utility

data FlowName where

A name for a flowtyped data-type. These are returned by dependencies.

Constructors

FlowName :: FlowTyped a => Proxy a -> Text -> FlowName

Instances

Show FlowName

Defined in Data.Aeson.Flow

Methods

showsPrec :: Int -> FlowName -> ShowS

show :: FlowName -> String

showList :: [FlowName] -> ShowS

Eq FlowName

Defined in Data.Aeson.Flow

Methods

(==) :: FlowName -> FlowName -> Bool

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

Ord FlowName

Defined in Data.Aeson.Flow

Methods

compare :: FlowName -> FlowName -> Ordering

(<) :: FlowName -> FlowName -> Bool

(<=) :: FlowName -> FlowName -> Bool

(>) :: FlowName -> FlowName -> Bool

(>=) :: FlowName -> FlowName -> Bool

max :: FlowName -> FlowName -> FlowName

min :: FlowName -> FlowName -> FlowName

data Flowable where

Constructors

Flowable :: FlowTyped a => Proxy a -> Flowable

Instances

Show Flowable

Defined in Data.Aeson.Flow

Methods

showsPrec :: Int -> Flowable -> ShowS

show :: Flowable -> String

showList :: [Flowable] -> ShowS

Eq Flowable

Defined in Data.Aeson.Flow

Methods

(==) :: Flowable -> Flowable -> Bool

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

Ord Flowable

Defined in Data.Aeson.Flow

Methods

compare :: Flowable -> Flowable -> Ordering

(<) :: Flowable -> Flowable -> Bool

(<=) :: Flowable -> Flowable -> Bool

(>) :: Flowable -> Flowable -> Bool

(>=) :: Flowable -> Flowable -> Bool

max :: Flowable -> Flowable -> Flowable

min :: Flowable -> Flowable -> Flowable

defaultFlowTypeName :: (Generic a, Rep a ~ D1 ('MetaData name mod pkg t) c, KnownSymbol name) => Proxy a -> Maybe Text

flowTypeName using Generic

defaultFlowType :: (HasDatatypeInfo a, All2 FlowTyped (Code a)) => Options -> Proxy a -> FlowType

flowType using HasDatatypeInfo