Reason

Generate Reason types, JSON decoders & JSON encoders from Haskell datatypes.

Documentation

data Options

Constructors

Options

Fields

• fieldLabelModifier :: Text -> Text

defaultOptions :: Options

require :: Text -> RenderM ()

Add an instance to the set.

data Spec

Constructors

Spec

Fields

• namespace :: [Text]
• declarations :: [Text]

Instances

Eq Spec

Defined in Reason.File

Methods

(==) :: Spec -> Spec -> Bool

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

Show Spec

Defined in Reason.File

Methods

showsPrec :: Int -> Spec -> ShowS

show :: Spec -> String

showList :: [Spec] -> ShowS

specsToDir :: [Spec] -> FilePath -> IO ()

moduleSpecWith :: Options -> [Text] -> RenderM () -> Spec

moduleSpec :: [Text] -> RenderM () -> Spec

class HasReasonComparable a where

Methods

toReasonComparable :: a -> ReasonPrimitive

Instances

HasReasonComparable String

Defined in Reason.Type

Methods

toReasonComparable :: String -> ReasonPrimitive

HasReasonComparable Text

Defined in Reason.Type

Methods

toReasonComparable :: Text -> ReasonPrimitive

class GenericReasonValue f where

Methods

genericToReasonValue :: f a -> ReasonValue

Instances

GenericReasonValue (U1 :: Type -> Type)

Defined in Reason.Type

Methods

genericToReasonValue :: U1 a -> ReasonValue

ReasonType a => GenericReasonValue (Rec0 a)

Defined in Reason.Type

Methods

genericToReasonValue :: Rec0 a a0 -> ReasonValue

(GenericReasonValue f, GenericReasonValue g) => GenericReasonValue (f :*: g)

Defined in Reason.Type

Methods

genericToReasonValue :: (f :*: g) a -> ReasonValue

(Selector s, GenericReasonValue a) => GenericReasonValue (S1 s a)

Defined in Reason.Type

Methods

genericToReasonValue :: S1 s a a0 -> ReasonValue

class GenericReasonConstructor f where

Methods

genericToReasonConstructor :: f a -> ReasonConstructor

Instances

(GenericReasonConstructor f, GenericReasonConstructor g) => GenericReasonConstructor (f :+: g)

Defined in Reason.Type

Methods

genericToReasonConstructor :: (f :+: g) a -> ReasonConstructor

(Constructor c, GenericReasonValue f) => GenericReasonConstructor (C1 c f)

Defined in Reason.Type

Methods

genericToReasonConstructor :: C1 c f a -> ReasonConstructor

class GenericReasonDatatype f where

Methods

genericToReasonDatatype :: f a -> ReasonDatatype

Instances

(Datatype d, GenericReasonConstructor f) => GenericReasonDatatype (D1 d f)

Defined in Reason.Type

Methods

genericToReasonDatatype :: D1 d f a -> ReasonDatatype

class ReasonType a where

Minimal complete definition

Nothing

Methods

toReasonType :: a -> ReasonDatatype

toReasonType :: (Generic a, GenericReasonDatatype (Rep a)) => a -> ReasonDatatype

Instances

ReasonType Bool

Defined in Reason.Type

Methods

toReasonType :: Bool -> ReasonDatatype

ReasonType Char

Defined in Reason.Type

Methods

toReasonType :: Char -> ReasonDatatype

ReasonType Double

Defined in Reason.Type

Methods

toReasonType :: Double -> ReasonDatatype

ReasonType Float

Defined in Reason.Type

Methods

toReasonType :: Float -> ReasonDatatype

ReasonType Int

Defined in Reason.Type

Methods

toReasonType :: Int -> ReasonDatatype

ReasonType Int8

Defined in Reason.Type

Methods

toReasonType :: Int8 -> ReasonDatatype

ReasonType Int16

Defined in Reason.Type

Methods

toReasonType :: Int16 -> ReasonDatatype

ReasonType Int32

Defined in Reason.Type

Methods

toReasonType :: Int32 -> ReasonDatatype

ReasonType Int64

Defined in Reason.Type

Methods

toReasonType :: Int64 -> ReasonDatatype

ReasonType ()

Defined in Reason.Type

Methods

toReasonType :: () -> ReasonDatatype

ReasonType Text

Defined in Reason.Type

Methods

toReasonType :: Text -> ReasonDatatype

ReasonType UTCTime

Defined in Reason.Type

Methods

toReasonType :: UTCTime -> ReasonDatatype

ReasonType Day

Defined in Reason.Type

Methods

toReasonType :: Day -> ReasonDatatype

ReasonType a => ReasonType [a]

Defined in Reason.Type

Methods

toReasonType :: [a] -> ReasonDatatype

ReasonType a => ReasonType (Maybe a)

Defined in Reason.Type

Methods

toReasonType :: Maybe a -> ReasonDatatype

ReasonType v => ReasonType (IntMap v)

Defined in Reason.Type

Methods

toReasonType :: IntMap v -> ReasonDatatype

(ReasonType a, ReasonType b) => ReasonType (a, b)

Defined in Reason.Type

Methods

toReasonType :: (a, b) -> ReasonDatatype

ReasonType a => ReasonType (Proxy a)

Defined in Reason.Type

Methods

toReasonType :: Proxy a -> ReasonDatatype

(HasReasonComparable k, ReasonType v) => ReasonType (Map k v)

Defined in Reason.Type

Methods

toReasonType :: Map k v -> ReasonDatatype

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

Defined in Reason.Type

Methods

toReasonType :: (a, b, c) -> ReasonDatatype

data ReasonValue

Constructors

ReasonRef Text

ReasonEmpty

ReasonPrimitiveRef ReasonPrimitive

Values ReasonValue ReasonValue

ReasonField Text ReasonValue

Instances

Eq ReasonValue

Defined in Reason.Type

Methods

(==) :: ReasonValue -> ReasonValue -> Bool

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

Show ReasonValue

Defined in Reason.Type

Methods

showsPrec :: Int -> ReasonValue -> ShowS

show :: ReasonValue -> String

showList :: [ReasonValue] -> ShowS

data ReasonConstructor

Constructors

NamedConstructor Text ReasonValue

RecordConstructor Text ReasonValue

MultipleConstructors [ReasonConstructor]

Instances

Eq ReasonConstructor

Defined in Reason.Type

Methods

(==) :: ReasonConstructor -> ReasonConstructor -> Bool

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

Show ReasonConstructor

Defined in Reason.Type

Methods

showsPrec :: Int -> ReasonConstructor -> ShowS

show :: ReasonConstructor -> String

showList :: [ReasonConstructor] -> ShowS

data ReasonPrimitive

Constructors

RInt

RInt64

RFloat

RBool

RChar

RString

RTimePosix

RUnit

RList ReasonDatatype

ROption ReasonDatatype

RTuple2 ReasonDatatype ReasonDatatype

RTuple3 ReasonDatatype ReasonDatatype ReasonDatatype

RMap ReasonPrimitive ReasonDatatype

Instances

Eq ReasonPrimitive

Defined in Reason.Type

Methods

(==) :: ReasonPrimitive -> ReasonPrimitive -> Bool

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

Show ReasonPrimitive

Defined in Reason.Type

Methods

showsPrec :: Int -> ReasonPrimitive -> ShowS

show :: ReasonPrimitive -> String

showList :: [ReasonPrimitive] -> ShowS

data ReasonDatatype

Constructors

ReasonDatatype Text ReasonConstructor

ReasonPrimitive ReasonPrimitive

Instances

Eq ReasonDatatype

Defined in Reason.Type

Methods

(==) :: ReasonDatatype -> ReasonDatatype -> Bool

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

Show ReasonDatatype

Defined in Reason.Type

Methods

showsPrec :: Int -> ReasonDatatype -> ShowS

show :: ReasonDatatype -> String

showList :: [ReasonDatatype] -> ShowS

isEnumeration :: ReasonConstructor -> Bool

Whether a set of constructors is an enumeration, i.e. whether they lack values. data A = A | B | C would be simple data A = A Int | B | C would not be simple.

primitiveName :: ReasonPrimitive -> Text

toReasonTypeRefWith :: ReasonType a => Options -> a -> Text

toReasonTypeRef :: ReasonType a => a -> Text

toReasonTypeSourceWith :: ReasonType a => Options -> a -> Text

toReasonTypeSource :: ReasonType a => a -> Text

renderType :: ReasonType a => a -> RenderM ()

toReasonEncoderRefWith :: ReasonType a => Options -> a -> Text

toReasonEncoderRef :: ReasonType a => a -> Text

toReasonEncoderSourceWith :: ReasonType a => Options -> a -> Text

toReasonEncoderSource :: ReasonType a => a -> Text

renderEncoder :: ReasonType a => a -> RenderM ()

toReasonDecoderRefWith :: ReasonType a => Options -> a -> Text

toReasonDecoderRef :: ReasonType a => a -> Text

toReasonDecoderSourceWith :: ReasonType a => Options -> a -> Text

toReasonDecoderSource :: ReasonType a => a -> Text

renderDecoder :: ReasonType a => a -> RenderM ()