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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Show OCamlDatatype

Defined in OCaml.BuckleScript.Types

Methods

showsPrec :: Int -> OCamlDatatype -> ShowS

show :: OCamlDatatype -> String

showList :: [OCamlDatatype] -> ShowS

data OCamlPrimitive

Smallest unit of computation in OCaml.

Constructors

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

OInt

int

OInt32

int32

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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Show OCamlPrimitive

Defined in OCaml.BuckleScript.Types

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. It 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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Show OCamlConstructor

Defined in OCaml.BuckleScript.Types

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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Show ValueConstructor

Defined in OCaml.BuckleScript.Types

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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Show EnumeratorConstructor

Defined in OCaml.BuckleScript.Types

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

OCamlRefApp TypeRep OCamlValue

A type constructor that has at least one type parameter filled

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 NameConstructor or a RecordConstructor.

OCamlRefAppValues OCamlValue OCamlValue

User for multiple types in an OCamlRefApp. These are rendered in a different way from Values.

Instances

Eq OCamlValue

Defined in OCaml.BuckleScript.Types

Methods

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

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

Show OCamlValue

Defined in OCaml.BuckleScript.Types

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.

Minimal complete definition

Nothing

Methods

toOCamlType :: a -> OCamlDatatype

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

Instances

OCamlType Bool

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Bool -> OCamlDatatype

OCamlType Char

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Char -> OCamlDatatype

OCamlType Double

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Double -> OCamlDatatype

OCamlType Float

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Float -> OCamlDatatype

OCamlType Int

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Int -> OCamlDatatype

OCamlType Int8

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Int8 -> OCamlDatatype

OCamlType Int16

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Int16 -> OCamlDatatype

OCamlType Int32

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Int32 -> OCamlDatatype

OCamlType Int64

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Int64 -> OCamlDatatype

OCamlType Integer

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Integer -> OCamlDatatype

OCamlType Word

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Word -> OCamlDatatype

OCamlType Word8

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Word8 -> OCamlDatatype

OCamlType Word16

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Word16 -> OCamlDatatype

OCamlType Word32

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Word32 -> OCamlDatatype

OCamlType Word64

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Word64 -> OCamlDatatype

OCamlType ()

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: () -> OCamlDatatype

OCamlType ByteString

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: ByteString -> OCamlDatatype

OCamlType Text

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Text -> OCamlDatatype

OCamlType UTCTime

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: UTCTime -> OCamlDatatype

OCamlType Day

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Day -> OCamlDatatype

OCamlType TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef5 -> OCamlDatatype

OCamlType TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef4 -> OCamlDatatype

OCamlType TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef3 -> OCamlDatatype

OCamlType TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef2 -> OCamlDatatype

OCamlType TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef1 -> OCamlDatatype

OCamlType TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef0 -> OCamlDatatype

OCamlType a => OCamlType [a]

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: [a] -> OCamlDatatype

OCamlType a => OCamlType (Maybe a)

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Maybe a -> OCamlDatatype

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

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Either l r -> OCamlDatatype

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

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: (a, b) -> OCamlDatatype

OCamlType a => OCamlType (Proxy a)

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: Proxy a -> OCamlDatatype

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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Defined in OCaml.BuckleScript.Types

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)

Defined in OCaml.BuckleScript.Types

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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Ord HaskellTypeMetaData

Defined in OCaml.BuckleScript.Types

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

Defined in OCaml.BuckleScript.Types

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

Defined in OCaml.BuckleScript.Types

Methods

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

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

Ord OCamlTypeMetaData

Defined in OCaml.BuckleScript.Types

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

Defined in OCaml.BuckleScript.Types

Methods

showsPrec :: Int -> OCamlTypeMetaData -> ShowS

show :: OCamlTypeMetaData -> String

showList :: [OCamlTypeMetaData] -> ShowS

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

for any type that does not use the same serialization as Generic Aeson and has a manually written OCaml definition, should manually derive OCamlType using this function for convenience.

instance OCamlType X where toOCamlType _ = typeableToOCamlType (Proxy :: Proxy X)

newtype 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.

Constructors

TypeParameterRef0 Int

Instances

Eq TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

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

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

Read TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

readsPrec :: Int -> ReadS TypeParameterRef0

readList :: ReadS [TypeParameterRef0]

readPrec :: ReadPrec TypeParameterRef0

readListPrec :: ReadPrec [TypeParameterRef0]

Show TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

showsPrec :: Int -> TypeParameterRef0 -> ShowS

show :: TypeParameterRef0 -> String

showList :: [TypeParameterRef0] -> ShowS

Generic TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Associated Types

type Rep TypeParameterRef0 :: Type -> Type

Methods

from :: TypeParameterRef0 -> Rep TypeParameterRef0 x

to :: Rep TypeParameterRef0 x -> TypeParameterRef0

Arbitrary TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

arbitrary :: Gen TypeParameterRef0

shrink :: TypeParameterRef0 -> [TypeParameterRef0]

ToJSON TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

toJSON :: TypeParameterRef0 -> Value

toEncoding :: TypeParameterRef0 -> Encoding

toJSONList :: [TypeParameterRef0] -> Value

toEncodingList :: [TypeParameterRef0] -> Encoding

FromJSON TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

parseJSON :: Value -> Parser TypeParameterRef0

parseJSONList :: Value -> Parser [TypeParameterRef0]

ToADTArbitrary TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

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

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

OCamlType TypeParameterRef0

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef0 -> OCamlDatatype

type Rep TypeParameterRef0

Defined in OCaml.BuckleScript.Types

type Rep TypeParameterRef0 = D1 (MetaData "TypeParameterRef0" "OCaml.BuckleScript.Types" "ocaml-export-0.13.0-FgnypFfzJXvE8go9rtnKhY" True) (C1 (MetaCons "TypeParameterRef0" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newtype TypeParameterRef1

Second unique TypeParameterRef.

Constructors

TypeParameterRef1 Int

Instances

Eq TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

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

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

Read TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

readsPrec :: Int -> ReadS TypeParameterRef1

readList :: ReadS [TypeParameterRef1]

readPrec :: ReadPrec TypeParameterRef1

readListPrec :: ReadPrec [TypeParameterRef1]

Show TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

showsPrec :: Int -> TypeParameterRef1 -> ShowS

show :: TypeParameterRef1 -> String

showList :: [TypeParameterRef1] -> ShowS

Generic TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Associated Types

type Rep TypeParameterRef1 :: Type -> Type

Methods

from :: TypeParameterRef1 -> Rep TypeParameterRef1 x

to :: Rep TypeParameterRef1 x -> TypeParameterRef1

Arbitrary TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

arbitrary :: Gen TypeParameterRef1

shrink :: TypeParameterRef1 -> [TypeParameterRef1]

ToJSON TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

toJSON :: TypeParameterRef1 -> Value

toEncoding :: TypeParameterRef1 -> Encoding

toJSONList :: [TypeParameterRef1] -> Value

toEncodingList :: [TypeParameterRef1] -> Encoding

FromJSON TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

parseJSON :: Value -> Parser TypeParameterRef1

parseJSONList :: Value -> Parser [TypeParameterRef1]

ToADTArbitrary TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

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

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

OCamlType TypeParameterRef1

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef1 -> OCamlDatatype

type Rep TypeParameterRef1

Defined in OCaml.BuckleScript.Types

type Rep TypeParameterRef1 = D1 (MetaData "TypeParameterRef1" "OCaml.BuckleScript.Types" "ocaml-export-0.13.0-FgnypFfzJXvE8go9rtnKhY" True) (C1 (MetaCons "TypeParameterRef1" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data TypeParameterRef2

Third unique TypeParameterRef.

Constructors

TypeParameterRef2 Int

Instances

Eq TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

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

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

Read TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

readsPrec :: Int -> ReadS TypeParameterRef2

readList :: ReadS [TypeParameterRef2]

readPrec :: ReadPrec TypeParameterRef2

readListPrec :: ReadPrec [TypeParameterRef2]

Show TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

showsPrec :: Int -> TypeParameterRef2 -> ShowS

show :: TypeParameterRef2 -> String

showList :: [TypeParameterRef2] -> ShowS

Generic TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Associated Types

type Rep TypeParameterRef2 :: Type -> Type

Methods

from :: TypeParameterRef2 -> Rep TypeParameterRef2 x

to :: Rep TypeParameterRef2 x -> TypeParameterRef2

Arbitrary TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

arbitrary :: Gen TypeParameterRef2

shrink :: TypeParameterRef2 -> [TypeParameterRef2]

ToJSON TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

toJSON :: TypeParameterRef2 -> Value

toEncoding :: TypeParameterRef2 -> Encoding

toJSONList :: [TypeParameterRef2] -> Value

toEncodingList :: [TypeParameterRef2] -> Encoding

FromJSON TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

parseJSON :: Value -> Parser TypeParameterRef2

parseJSONList :: Value -> Parser [TypeParameterRef2]

ToADTArbitrary TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

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

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

OCamlType TypeParameterRef2

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef2 -> OCamlDatatype

type Rep TypeParameterRef2

Defined in OCaml.BuckleScript.Types

type Rep TypeParameterRef2 = D1 (MetaData "TypeParameterRef2" "OCaml.BuckleScript.Types" "ocaml-export-0.13.0-FgnypFfzJXvE8go9rtnKhY" False) (C1 (MetaCons "TypeParameterRef2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data TypeParameterRef3

Fourth unique TypeParameterRef.

Constructors

TypeParameterRef3 Int

Instances

Eq TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

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

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

Read TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

readsPrec :: Int -> ReadS TypeParameterRef3

readList :: ReadS [TypeParameterRef3]

readPrec :: ReadPrec TypeParameterRef3

readListPrec :: ReadPrec [TypeParameterRef3]

Show TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

showsPrec :: Int -> TypeParameterRef3 -> ShowS

show :: TypeParameterRef3 -> String

showList :: [TypeParameterRef3] -> ShowS

Generic TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Associated Types

type Rep TypeParameterRef3 :: Type -> Type

Methods

from :: TypeParameterRef3 -> Rep TypeParameterRef3 x

to :: Rep TypeParameterRef3 x -> TypeParameterRef3

Arbitrary TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

arbitrary :: Gen TypeParameterRef3

shrink :: TypeParameterRef3 -> [TypeParameterRef3]

ToJSON TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

toJSON :: TypeParameterRef3 -> Value

toEncoding :: TypeParameterRef3 -> Encoding

toJSONList :: [TypeParameterRef3] -> Value

toEncodingList :: [TypeParameterRef3] -> Encoding

FromJSON TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

parseJSON :: Value -> Parser TypeParameterRef3

parseJSONList :: Value -> Parser [TypeParameterRef3]

ToADTArbitrary TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

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

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

OCamlType TypeParameterRef3

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef3 -> OCamlDatatype

type Rep TypeParameterRef3

Defined in OCaml.BuckleScript.Types

type Rep TypeParameterRef3 = D1 (MetaData "TypeParameterRef3" "OCaml.BuckleScript.Types" "ocaml-export-0.13.0-FgnypFfzJXvE8go9rtnKhY" False) (C1 (MetaCons "TypeParameterRef3" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data TypeParameterRef4

Fifth unique TypeParameterRef.

Constructors

TypeParameterRef4 Int

Instances

Eq TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

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

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

Read TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

readsPrec :: Int -> ReadS TypeParameterRef4

readList :: ReadS [TypeParameterRef4]

readPrec :: ReadPrec TypeParameterRef4

readListPrec :: ReadPrec [TypeParameterRef4]

Show TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

showsPrec :: Int -> TypeParameterRef4 -> ShowS

show :: TypeParameterRef4 -> String

showList :: [TypeParameterRef4] -> ShowS

Generic TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Associated Types

type Rep TypeParameterRef4 :: Type -> Type

Methods

from :: TypeParameterRef4 -> Rep TypeParameterRef4 x

to :: Rep TypeParameterRef4 x -> TypeParameterRef4

Arbitrary TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

arbitrary :: Gen TypeParameterRef4

shrink :: TypeParameterRef4 -> [TypeParameterRef4]

ToJSON TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

toJSON :: TypeParameterRef4 -> Value

toEncoding :: TypeParameterRef4 -> Encoding

toJSONList :: [TypeParameterRef4] -> Value

toEncodingList :: [TypeParameterRef4] -> Encoding

FromJSON TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

parseJSON :: Value -> Parser TypeParameterRef4

parseJSONList :: Value -> Parser [TypeParameterRef4]

ToADTArbitrary TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

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

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

OCamlType TypeParameterRef4

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef4 -> OCamlDatatype

type Rep TypeParameterRef4

Defined in OCaml.BuckleScript.Types

type Rep TypeParameterRef4 = D1 (MetaData "TypeParameterRef4" "OCaml.BuckleScript.Types" "ocaml-export-0.13.0-FgnypFfzJXvE8go9rtnKhY" False) (C1 (MetaCons "TypeParameterRef4" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data TypeParameterRef5

Sixth unique TypeParameterRef.

Constructors

TypeParameterRef5 Int

Instances

Eq TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

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

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

Read TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

readsPrec :: Int -> ReadS TypeParameterRef5

readList :: ReadS [TypeParameterRef5]

readPrec :: ReadPrec TypeParameterRef5

readListPrec :: ReadPrec [TypeParameterRef5]

Show TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

showsPrec :: Int -> TypeParameterRef5 -> ShowS

show :: TypeParameterRef5 -> String

showList :: [TypeParameterRef5] -> ShowS

Generic TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Associated Types

type Rep TypeParameterRef5 :: Type -> Type

Methods

from :: TypeParameterRef5 -> Rep TypeParameterRef5 x

to :: Rep TypeParameterRef5 x -> TypeParameterRef5

Arbitrary TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

arbitrary :: Gen TypeParameterRef5

shrink :: TypeParameterRef5 -> [TypeParameterRef5]

ToJSON TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

toJSON :: TypeParameterRef5 -> Value

toEncoding :: TypeParameterRef5 -> Encoding

toJSONList :: [TypeParameterRef5] -> Value

toEncodingList :: [TypeParameterRef5] -> Encoding

FromJSON TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

parseJSON :: Value -> Parser TypeParameterRef5

parseJSONList :: Value -> Parser [TypeParameterRef5]

ToADTArbitrary TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

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

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

OCamlType TypeParameterRef5

Defined in OCaml.BuckleScript.Types

Methods

toOCamlType :: TypeParameterRef5 -> OCamlDatatype

type Rep TypeParameterRef5

Defined in OCaml.BuckleScript.Types

type Rep TypeParameterRef5 = D1 (MetaData "TypeParameterRef5" "OCaml.BuckleScript.Types" "ocaml-export-0.13.0-FgnypFfzJXvE8go9rtnKhY" False) (C1 (MetaCons "TypeParameterRef5" PrefixI False) (S1 (MetaSel (Nothing :: Maybe 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]

get all of the type parameters from an OCamlConstructor.

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.

typeRepToHaskellTypeMetaData :: TypeRep -> HaskellTypeMetaData

convert TypeRep to HaskellTypeMetaData

tyConToHaskellTypeMetaData :: TyCon -> HaskellTypeMetaData

convert TyCon to HaskellTypeMetaData