OCaml.BuckleScript.Types

OCaml datatype representation of a Haskell datatype. A recursive tree that can be interpreted to output OCaml code. It is meant to encode a Haskell type into OCaml and make json seraliazers that match the output from Generic aeson instances.

Documentation

data OCamlDatatype

Top level of an OCaml datatype. A data type may be composed of primitives and/or a combination of constructors and primitives. OCamlDatatype is recursive via OCamlConstructor -> ValueConstructor -> OCamlValue -> OCamlPrimitive -> OCamlDatatype.

Constructors

OCamlDatatype HaskellTypeMetaData Text OCamlConstructor

The name of a type and its type constructor

OCamlPrimitive OCamlPrimitive

A primitive value

Instances

Eq OCamlDatatype

Methods

(==) :: OCamlDatatype -> OCamlDatatype -> Bool

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

Show OCamlDatatype

Methods

showsPrec :: Int -> OCamlDatatype -> ShowS

show :: OCamlDatatype -> String

showList :: [OCamlDatatype] -> ShowS

data OCamlPrimitive

Smallest unit of computation in OCaml.

Constructors

OInt

int

OBool

bool, boolean

OChar

char, it gets interpreted as a string because OCaml char does not support UTF-8

ODate

Js_date.t

OFloat

float

OString

string

OUnit

()

OList OCamlDatatype

'a list, 'a Js_array.t

OOption OCamlDatatype

'a option

OEither OCamlDatatype OCamlDatatype

'l 'r Aeson.Compatibility.Either.t

OTuple2 OCamlDatatype OCamlDatatype

(*)

OTuple3 OCamlDatatype OCamlDatatype OCamlDatatype

(**)

OTuple4 OCamlDatatype OCamlDatatype OCamlDatatype OCamlDatatype

(***)

OTuple5 OCamlDatatype OCamlDatatype OCamlDatatype OCamlDatatype OCamlDatatype

(****)

OTuple6 OCamlDatatype OCamlDatatype OCamlDatatype OCamlDatatype OCamlDatatype OCamlDatatype

(*****)

Instances

Eq OCamlPrimitive

Methods

(==) :: OCamlPrimitive -> OCamlPrimitive -> Bool

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

Show OCamlPrimitive

Methods

showsPrec :: Int -> OCamlPrimitive -> ShowS

show :: OCamlPrimitive -> String

showList :: [OCamlPrimitive] -> ShowS

data OCamlConstructor

OCamlConstructor take values to create a new instances of a type.

Constructors

OCamlValueConstructor ValueConstructor

Sum, record (product with named fields) or product without named fields

OCamlEnumeratorConstructor [EnumeratorConstructor]

Sum of enumerations only. If a sum contains enumerators and at least one constructor with a value then it is an OCamlValueConstructor

OCamlSumOfRecordConstructor Text ValueConstructor

Sum that contains at least one record. This construction is unique to Haskell. pIt has special Encoding and Decoding rules in order to output a valid OCaml program. i.e. `data A = A {a :: Int} | B {b :: String}`

Instances

Eq OCamlConstructor

Methods

(==) :: OCamlConstructor -> OCamlConstructor -> Bool

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

Show OCamlConstructor

Methods

showsPrec :: Int -> OCamlConstructor -> ShowS

show :: OCamlConstructor -> String

showList :: [OCamlConstructor] -> ShowS

data ValueConstructor

OCamlConstructor of one RecordConstructor is a record type. OCamlConstructor of one NamedConstructor that has one value is a Haskell newtype. OCamlConstructor of one NamedConstructor is a product without field names. OCamlConstructor of multiple NamedConstructors is a sum type. OCamlConstructor of at least one RecordConstructor and any other amount of ValueConstructors greater than one is a OCamlSumWithRecordConstructor.

Constructors

NamedConstructor Text OCamlValue

Product without named fields

RecordConstructor Text OCamlValue

Product with named fields

MultipleConstructors [ValueConstructor]

Sum type

Instances

Eq ValueConstructor

Methods

(==) :: ValueConstructor -> ValueConstructor -> Bool

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

Show ValueConstructor

Methods

showsPrec :: Int -> ValueConstructor -> ShowS

show :: ValueConstructor -> String

showList :: [ValueConstructor] -> ShowS

data EnumeratorConstructor

Enumerators have no values, only tags.

Constructors

EnumeratorConstructor Text

Enumerator and its tag

Instances

Eq EnumeratorConstructor

Methods

(==) :: EnumeratorConstructor -> EnumeratorConstructor -> Bool

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

Show EnumeratorConstructor

Methods

showsPrec :: Int -> EnumeratorConstructor -> ShowS

show :: EnumeratorConstructor -> String

showList :: [EnumeratorConstructor] -> ShowS

data OCamlValue

Expected types of a constructor

Constructors

OCamlRef HaskellTypeMetaData Text

The name of a non-primitive data type

OCamlTypeParameterRef Text

Type parameters like a in `Maybe a`

OCamlEmpty

a place holder for OCaml value. It can represent the end of a list or an Enumerator in a mixed sum

OCamlPrimitiveRef OCamlPrimitive

A primitive OCaml type like int, string, etc.

OCamlField Text OCamlValue

A field name and its type from a record

Values OCamlValue OCamlValue

Used for multiple types in a sum type

Instances

Eq OCamlValue

Methods

(==) :: OCamlValue -> OCamlValue -> Bool

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

Show OCamlValue

Methods

showsPrec :: Int -> OCamlValue -> ShowS

show :: OCamlValue -> String

showList :: [OCamlValue] -> ShowS

class OCamlType a where

Create an OCaml type from a Haskell type. Use the Generic definition when possible. It also expects ToJSON and FromJSON to be derived generically.

Methods

toOCamlType :: a -> OCamlDatatype

toOCamlType :: (Generic a, GenericOCamlDatatype (Rep a)) => a -> OCamlDatatype

Instances

OCamlType Bool

Methods

toOCamlType :: Bool -> OCamlDatatype

OCamlType Char

Methods

toOCamlType :: Char -> OCamlDatatype

OCamlType Double

Methods

toOCamlType :: Double -> OCamlDatatype

OCamlType Float

Methods

toOCamlType :: Float -> OCamlDatatype

OCamlType Int

Methods

toOCamlType :: Int -> OCamlDatatype

OCamlType Int8

Methods

toOCamlType :: Int8 -> OCamlDatatype

OCamlType Int16

Methods

toOCamlType :: Int16 -> OCamlDatatype

OCamlType Int32

Methods

toOCamlType :: Int32 -> OCamlDatatype

OCamlType Int64

Methods

toOCamlType :: Int64 -> OCamlDatatype

OCamlType Integer

Methods

toOCamlType :: Integer -> OCamlDatatype

OCamlType Word

Methods

toOCamlType :: Word -> OCamlDatatype

OCamlType Word8

Methods

toOCamlType :: Word8 -> OCamlDatatype

OCamlType Word16

Methods

toOCamlType :: Word16 -> OCamlDatatype

OCamlType Word32

Methods

toOCamlType :: Word32 -> OCamlDatatype

OCamlType Word64

Methods

toOCamlType :: Word64 -> OCamlDatatype

OCamlType ()

Methods

toOCamlType :: () -> OCamlDatatype

OCamlType ByteString

Methods

toOCamlType :: ByteString -> OCamlDatatype

OCamlType Text

Methods

toOCamlType :: Text -> OCamlDatatype

OCamlType UTCTime

Methods

toOCamlType :: UTCTime -> OCamlDatatype

OCamlType Day

Methods

toOCamlType :: Day -> OCamlDatatype

OCamlType TypeParameterRef5

Methods

toOCamlType :: TypeParameterRef5 -> OCamlDatatype

OCamlType TypeParameterRef4

Methods

toOCamlType :: TypeParameterRef4 -> OCamlDatatype

OCamlType TypeParameterRef3

Methods

toOCamlType :: TypeParameterRef3 -> OCamlDatatype

OCamlType TypeParameterRef2

Methods

toOCamlType :: TypeParameterRef2 -> OCamlDatatype

OCamlType TypeParameterRef1

Methods

toOCamlType :: TypeParameterRef1 -> OCamlDatatype

OCamlType TypeParameterRef0

Methods

toOCamlType :: TypeParameterRef0 -> OCamlDatatype

OCamlType a => OCamlType [a]

Methods

toOCamlType :: [a] -> OCamlDatatype

OCamlType a => OCamlType (Maybe a)

Methods

toOCamlType :: Maybe a -> OCamlDatatype

(OCamlType l, OCamlType r) => OCamlType (Either l r)

Methods

toOCamlType :: Either l r -> OCamlDatatype

(OCamlType a, OCamlType b) => OCamlType (a, b)

Methods

toOCamlType :: (a, b) -> OCamlDatatype

OCamlType a => OCamlType (Proxy * a)

Methods

toOCamlType :: Proxy * a -> OCamlDatatype

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

Methods

toOCamlType :: (a, b, c) -> OCamlDatatype

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

Methods

toOCamlType :: (a, b, c, d) -> OCamlDatatype

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

Methods

toOCamlType :: (a, b, c, d, e) -> OCamlDatatype

(OCamlType a, OCamlType b, OCamlType c, OCamlType d, OCamlType e, OCamlType f) => OCamlType (a, b, c, d, e, f)

Methods

toOCamlType :: (a, b, c, d, e, f) -> OCamlDatatype

data HaskellTypeMetaData

Store data about the Haskell origin of a type.

Constructors

HaskellTypeMetaData Text Text Text

Instances

Eq HaskellTypeMetaData

Methods

(==) :: HaskellTypeMetaData -> HaskellTypeMetaData -> Bool

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

Ord HaskellTypeMetaData

Methods

compare :: HaskellTypeMetaData -> HaskellTypeMetaData -> Ordering

(<) :: HaskellTypeMetaData -> HaskellTypeMetaData -> Bool

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

(>) :: HaskellTypeMetaData -> HaskellTypeMetaData -> Bool

(>=) :: HaskellTypeMetaData -> HaskellTypeMetaData -> Bool

max :: HaskellTypeMetaData -> HaskellTypeMetaData -> HaskellTypeMetaData

min :: HaskellTypeMetaData -> HaskellTypeMetaData -> HaskellTypeMetaData

Show HaskellTypeMetaData

Methods

showsPrec :: Int -> HaskellTypeMetaData -> ShowS

show :: HaskellTypeMetaData -> String

showList :: [HaskellTypeMetaData] -> ShowS

data OCamlTypeMetaData

Store data about the OCaml destination of a type.

Constructors

OCamlTypeMetaData Text [Text] [Text]

Instances

Eq OCamlTypeMetaData

Methods

(==) :: OCamlTypeMetaData -> OCamlTypeMetaData -> Bool

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

Ord OCamlTypeMetaData

Methods

compare :: OCamlTypeMetaData -> OCamlTypeMetaData -> Ordering

(<) :: OCamlTypeMetaData -> OCamlTypeMetaData -> Bool

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

(>) :: OCamlTypeMetaData -> OCamlTypeMetaData -> Bool

(>=) :: OCamlTypeMetaData -> OCamlTypeMetaData -> Bool

max :: OCamlTypeMetaData -> OCamlTypeMetaData -> OCamlTypeMetaData

min :: OCamlTypeMetaData -> OCamlTypeMetaData -> OCamlTypeMetaData

Show OCamlTypeMetaData

Methods

showsPrec :: Int -> OCamlTypeMetaData -> ShowS

show :: OCamlTypeMetaData -> String

showList :: [OCamlTypeMetaData] -> ShowS

typeableToOCamlType :: forall a. Typeable a => Proxy a -> OCamlDatatype

data TypeParameterRef0

Used to fill the type parameters of proxy types. `Proxy :: Proxy (Maybe TypeParameterRef0)`, `Proxy :: Proxy Either TypeParameterRef0 TypeParameterRef1`. JSON representation is as an Int to simplify the automated tests.

Instances

Eq TypeParameterRef0

Methods

(==) :: TypeParameterRef0 -> TypeParameterRef0 -> Bool

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

Read TypeParameterRef0

Methods

readsPrec :: Int -> ReadS TypeParameterRef0

readList :: ReadS [TypeParameterRef0]

readPrec :: ReadPrec TypeParameterRef0

readListPrec :: ReadPrec [TypeParameterRef0]

Show TypeParameterRef0

Methods

showsPrec :: Int -> TypeParameterRef0 -> ShowS

show :: TypeParameterRef0 -> String

showList :: [TypeParameterRef0] -> ShowS

Generic TypeParameterRef0

Associated Types

type Rep TypeParameterRef0 :: * -> *

Methods

from :: TypeParameterRef0 -> Rep TypeParameterRef0 x

to :: Rep TypeParameterRef0 x -> TypeParameterRef0

Arbitrary TypeParameterRef0

Methods

arbitrary :: Gen TypeParameterRef0

shrink :: TypeParameterRef0 -> [TypeParameterRef0]

ToJSON TypeParameterRef0

Methods

toJSON :: TypeParameterRef0 -> Value

toEncoding :: TypeParameterRef0 -> Encoding

toJSONList :: [TypeParameterRef0] -> Value

toEncodingList :: [TypeParameterRef0] -> Encoding

FromJSON TypeParameterRef0

Methods

parseJSON :: Value -> Parser TypeParameterRef0

parseJSONList :: Value -> Parser [TypeParameterRef0]

ToADTArbitrary TypeParameterRef0

Methods

toADTArbitrarySingleton :: Proxy * TypeParameterRef0 -> Gen (ADTArbitrarySingleton TypeParameterRef0)

toADTArbitrary :: Proxy * TypeParameterRef0 -> Gen (ADTArbitrary TypeParameterRef0)

OCamlType TypeParameterRef0

Methods

toOCamlType :: TypeParameterRef0 -> OCamlDatatype

type Rep TypeParameterRef0

type Rep TypeParameterRef0 = D1 * (MetaData "TypeParameterRef0" "OCaml.BuckleScript.Types" "ocaml-export-0.5.0.0-2DxRIYGHFHxDqlSmQN9jmO" True) (C1 * (MetaCons "TypeParameterRef0" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

data TypeParameterRef1

Second unique TypeParameterRef.

Instances

Eq TypeParameterRef1

Methods

(==) :: TypeParameterRef1 -> TypeParameterRef1 -> Bool

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

Read TypeParameterRef1

Methods

readsPrec :: Int -> ReadS TypeParameterRef1

readList :: ReadS [TypeParameterRef1]

readPrec :: ReadPrec TypeParameterRef1

readListPrec :: ReadPrec [TypeParameterRef1]

Show TypeParameterRef1

Methods

showsPrec :: Int -> TypeParameterRef1 -> ShowS

show :: TypeParameterRef1 -> String

showList :: [TypeParameterRef1] -> ShowS

Generic TypeParameterRef1

Associated Types

type Rep TypeParameterRef1 :: * -> *

Methods

from :: TypeParameterRef1 -> Rep TypeParameterRef1 x

to :: Rep TypeParameterRef1 x -> TypeParameterRef1

Arbitrary TypeParameterRef1

Methods

arbitrary :: Gen TypeParameterRef1

shrink :: TypeParameterRef1 -> [TypeParameterRef1]

ToJSON TypeParameterRef1

Methods

toJSON :: TypeParameterRef1 -> Value

toEncoding :: TypeParameterRef1 -> Encoding

toJSONList :: [TypeParameterRef1] -> Value

toEncodingList :: [TypeParameterRef1] -> Encoding

FromJSON TypeParameterRef1

Methods

parseJSON :: Value -> Parser TypeParameterRef1

parseJSONList :: Value -> Parser [TypeParameterRef1]

ToADTArbitrary TypeParameterRef1

Methods

toADTArbitrarySingleton :: Proxy * TypeParameterRef1 -> Gen (ADTArbitrarySingleton TypeParameterRef1)

toADTArbitrary :: Proxy * TypeParameterRef1 -> Gen (ADTArbitrary TypeParameterRef1)

OCamlType TypeParameterRef1

Methods

toOCamlType :: TypeParameterRef1 -> OCamlDatatype

type Rep TypeParameterRef1

type Rep TypeParameterRef1 = D1 * (MetaData "TypeParameterRef1" "OCaml.BuckleScript.Types" "ocaml-export-0.5.0.0-2DxRIYGHFHxDqlSmQN9jmO" True) (C1 * (MetaCons "TypeParameterRef1" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

data TypeParameterRef2

Third unique TypeParameterRef.

Instances

Eq TypeParameterRef2

Methods

(==) :: TypeParameterRef2 -> TypeParameterRef2 -> Bool

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

Read TypeParameterRef2

Methods

readsPrec :: Int -> ReadS TypeParameterRef2

readList :: ReadS [TypeParameterRef2]

readPrec :: ReadPrec TypeParameterRef2

readListPrec :: ReadPrec [TypeParameterRef2]

Show TypeParameterRef2

Methods

showsPrec :: Int -> TypeParameterRef2 -> ShowS

show :: TypeParameterRef2 -> String

showList :: [TypeParameterRef2] -> ShowS

Generic TypeParameterRef2

Associated Types

type Rep TypeParameterRef2 :: * -> *

Methods

from :: TypeParameterRef2 -> Rep TypeParameterRef2 x

to :: Rep TypeParameterRef2 x -> TypeParameterRef2

Arbitrary TypeParameterRef2

Methods

arbitrary :: Gen TypeParameterRef2

shrink :: TypeParameterRef2 -> [TypeParameterRef2]

ToJSON TypeParameterRef2

Methods

toJSON :: TypeParameterRef2 -> Value

toEncoding :: TypeParameterRef2 -> Encoding

toJSONList :: [TypeParameterRef2] -> Value

toEncodingList :: [TypeParameterRef2] -> Encoding

FromJSON TypeParameterRef2

Methods

parseJSON :: Value -> Parser TypeParameterRef2

parseJSONList :: Value -> Parser [TypeParameterRef2]

ToADTArbitrary TypeParameterRef2

Methods

toADTArbitrarySingleton :: Proxy * TypeParameterRef2 -> Gen (ADTArbitrarySingleton TypeParameterRef2)

toADTArbitrary :: Proxy * TypeParameterRef2 -> Gen (ADTArbitrary TypeParameterRef2)

OCamlType TypeParameterRef2

Methods

toOCamlType :: TypeParameterRef2 -> OCamlDatatype

type Rep TypeParameterRef2

type Rep TypeParameterRef2 = D1 * (MetaData "TypeParameterRef2" "OCaml.BuckleScript.Types" "ocaml-export-0.5.0.0-2DxRIYGHFHxDqlSmQN9jmO" False) (C1 * (MetaCons "TypeParameterRef2" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

data TypeParameterRef3

Fourth unique TypeParameterRef.

Instances

Eq TypeParameterRef3

Methods

(==) :: TypeParameterRef3 -> TypeParameterRef3 -> Bool

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

Read TypeParameterRef3

Methods

readsPrec :: Int -> ReadS TypeParameterRef3

readList :: ReadS [TypeParameterRef3]

readPrec :: ReadPrec TypeParameterRef3

readListPrec :: ReadPrec [TypeParameterRef3]

Show TypeParameterRef3

Methods

showsPrec :: Int -> TypeParameterRef3 -> ShowS

show :: TypeParameterRef3 -> String

showList :: [TypeParameterRef3] -> ShowS

Generic TypeParameterRef3

Associated Types

type Rep TypeParameterRef3 :: * -> *

Methods

from :: TypeParameterRef3 -> Rep TypeParameterRef3 x

to :: Rep TypeParameterRef3 x -> TypeParameterRef3

Arbitrary TypeParameterRef3

Methods

arbitrary :: Gen TypeParameterRef3

shrink :: TypeParameterRef3 -> [TypeParameterRef3]

ToJSON TypeParameterRef3

Methods

toJSON :: TypeParameterRef3 -> Value

toEncoding :: TypeParameterRef3 -> Encoding

toJSONList :: [TypeParameterRef3] -> Value

toEncodingList :: [TypeParameterRef3] -> Encoding

FromJSON TypeParameterRef3

Methods

parseJSON :: Value -> Parser TypeParameterRef3

parseJSONList :: Value -> Parser [TypeParameterRef3]

ToADTArbitrary TypeParameterRef3

Methods

toADTArbitrarySingleton :: Proxy * TypeParameterRef3 -> Gen (ADTArbitrarySingleton TypeParameterRef3)

toADTArbitrary :: Proxy * TypeParameterRef3 -> Gen (ADTArbitrary TypeParameterRef3)

OCamlType TypeParameterRef3

Methods

toOCamlType :: TypeParameterRef3 -> OCamlDatatype

type Rep TypeParameterRef3

type Rep TypeParameterRef3 = D1 * (MetaData "TypeParameterRef3" "OCaml.BuckleScript.Types" "ocaml-export-0.5.0.0-2DxRIYGHFHxDqlSmQN9jmO" False) (C1 * (MetaCons "TypeParameterRef3" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

data TypeParameterRef4

Fifth unique TypeParameterRef.

Instances

Eq TypeParameterRef4

Methods

(==) :: TypeParameterRef4 -> TypeParameterRef4 -> Bool

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

Read TypeParameterRef4

Methods

readsPrec :: Int -> ReadS TypeParameterRef4

readList :: ReadS [TypeParameterRef4]

readPrec :: ReadPrec TypeParameterRef4

readListPrec :: ReadPrec [TypeParameterRef4]

Show TypeParameterRef4

Methods

showsPrec :: Int -> TypeParameterRef4 -> ShowS

show :: TypeParameterRef4 -> String

showList :: [TypeParameterRef4] -> ShowS

Generic TypeParameterRef4

Associated Types

type Rep TypeParameterRef4 :: * -> *

Methods

from :: TypeParameterRef4 -> Rep TypeParameterRef4 x

to :: Rep TypeParameterRef4 x -> TypeParameterRef4

Arbitrary TypeParameterRef4

Methods

arbitrary :: Gen TypeParameterRef4

shrink :: TypeParameterRef4 -> [TypeParameterRef4]

ToJSON TypeParameterRef4

Methods

toJSON :: TypeParameterRef4 -> Value

toEncoding :: TypeParameterRef4 -> Encoding

toJSONList :: [TypeParameterRef4] -> Value

toEncodingList :: [TypeParameterRef4] -> Encoding

FromJSON TypeParameterRef4

Methods

parseJSON :: Value -> Parser TypeParameterRef4

parseJSONList :: Value -> Parser [TypeParameterRef4]

ToADTArbitrary TypeParameterRef4

Methods

toADTArbitrarySingleton :: Proxy * TypeParameterRef4 -> Gen (ADTArbitrarySingleton TypeParameterRef4)

toADTArbitrary :: Proxy * TypeParameterRef4 -> Gen (ADTArbitrary TypeParameterRef4)

OCamlType TypeParameterRef4

Methods

toOCamlType :: TypeParameterRef4 -> OCamlDatatype

type Rep TypeParameterRef4

type Rep TypeParameterRef4 = D1 * (MetaData "TypeParameterRef4" "OCaml.BuckleScript.Types" "ocaml-export-0.5.0.0-2DxRIYGHFHxDqlSmQN9jmO" False) (C1 * (MetaCons "TypeParameterRef4" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

data TypeParameterRef5

Sixth unique TypeParameterRef.

Instances

Eq TypeParameterRef5

Methods

(==) :: TypeParameterRef5 -> TypeParameterRef5 -> Bool

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

Read TypeParameterRef5

Methods

readsPrec :: Int -> ReadS TypeParameterRef5

readList :: ReadS [TypeParameterRef5]

readPrec :: ReadPrec TypeParameterRef5

readListPrec :: ReadPrec [TypeParameterRef5]

Show TypeParameterRef5

Methods

showsPrec :: Int -> TypeParameterRef5 -> ShowS

show :: TypeParameterRef5 -> String

showList :: [TypeParameterRef5] -> ShowS

Generic TypeParameterRef5

Associated Types

type Rep TypeParameterRef5 :: * -> *

Methods

from :: TypeParameterRef5 -> Rep TypeParameterRef5 x

to :: Rep TypeParameterRef5 x -> TypeParameterRef5

Arbitrary TypeParameterRef5

Methods

arbitrary :: Gen TypeParameterRef5

shrink :: TypeParameterRef5 -> [TypeParameterRef5]

ToJSON TypeParameterRef5

Methods

toJSON :: TypeParameterRef5 -> Value

toEncoding :: TypeParameterRef5 -> Encoding

toJSONList :: [TypeParameterRef5] -> Value

toEncodingList :: [TypeParameterRef5] -> Encoding

FromJSON TypeParameterRef5

Methods

parseJSON :: Value -> Parser TypeParameterRef5

parseJSONList :: Value -> Parser [TypeParameterRef5]

ToADTArbitrary TypeParameterRef5

Methods

toADTArbitrarySingleton :: Proxy * TypeParameterRef5 -> Gen (ADTArbitrarySingleton TypeParameterRef5)

toADTArbitrary :: Proxy * TypeParameterRef5 -> Gen (ADTArbitrary TypeParameterRef5)

OCamlType TypeParameterRef5

Methods

toOCamlType :: TypeParameterRef5 -> OCamlDatatype

type Rep TypeParameterRef5

type Rep TypeParameterRef5 = D1 * (MetaData "TypeParameterRef5" "OCaml.BuckleScript.Types" "ocaml-export-0.5.0.0-2DxRIYGHFHxDqlSmQN9jmO" False) (C1 * (MetaCons "TypeParameterRef5" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

getTypeParameterRefNames :: [OCamlValue] -> [Text]

Convert OCamlValues to the type parameter names of a data type. `Either a0 a1` -> `["a0","a1"]`

getOCamlValues :: ValueConstructor -> [OCamlValue]

getOCamlValues flatten the values from MultipleConstructors into a list and remove ValueConstructor.

getTypeParameters :: OCamlConstructor -> [Text]

getTypePar

isTypeParameterRef :: OCamlDatatype -> Bool

Matches all of the TypeParameterRefs (TypeParameterRef0 to TypeParameterRef5). This function is needed to work around the tree structure for special rules for rendering type parameters.

mkModulePrefix :: OCamlTypeMetaData -> OCamlTypeMetaData -> Text

Make OCaml module prefix for a value based on the declaration's and parameter's meta data.

oCamlValueIsFloat :: OCamlValue -> Bool

BuckleScript has a float type that conflicts when you do 'open Aeson.Decode' float must be appended with Decode.