elm-export-0.6.0.1: A library to generate Elm types from Haskell source.
Safe HaskellNone
LanguageHaskell2010

Elm

Documentation

data Options Source #

Constructors

Options 

Fields

defaultOptions :: Options Source #

data ElmDatatype Source #

Constructors

ElmDatatype Text ElmConstructor 
ElmPrimitive ElmPrimitive 

Instances

Instances details
Show ElmDatatype Source # 
Instance details

Defined in Elm.Type

Methods

showsPrec :: Int -> ElmDatatype -> ShowS #

show :: ElmDatatype -> String #

showList :: [ElmDatatype] -> ShowS #

Eq ElmDatatype Source # 
Instance details

Defined in Elm.Type

Methods

(==) :: ElmDatatype -> ElmDatatype -> Bool #

(/=) :: ElmDatatype -> ElmDatatype -> Bool #

toElmDecoderRef :: ElmType a => a -> Text Source #

toElmDecoderRefWith :: ElmType a => Options -> a -> Text Source #

toElmDecoderSource :: ElmType a => a -> Text Source #

toElmDecoderSourceWith :: ElmType a => Options -> a -> Text Source #

toElmEncoderRef :: ElmType a => a -> Text Source #

toElmEncoderRefWith :: ElmType a => Options -> a -> Text Source #

toElmEncoderSource :: ElmType a => a -> Text Source #

toElmEncoderSourceWith :: ElmType a => Options -> a -> Text Source #

data Spec Source #

Constructors

Spec 

Fields

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

toElmTypeRef :: ElmType a => a -> Text Source #

toElmTypeRefWith :: ElmType a => Options -> a -> Text Source #

toElmTypeSource :: ElmType a => a -> Text Source #

toElmTypeSourceWith :: ElmType a => Options -> a -> Text Source #

data ElmConstructor Source #

Constructors

NamedConstructor Text ElmValue 
RecordConstructor Text ElmValue 
MultipleConstructors [ElmConstructor] 

Instances

Instances details
Show ElmConstructor Source # 
Instance details

Defined in Elm.Type

Methods

showsPrec :: Int -> ElmConstructor -> ShowS #

show :: ElmConstructor -> String #

showList :: [ElmConstructor] -> ShowS #

Eq ElmConstructor Source # 
Instance details

Defined in Elm.Type

Methods

(==) :: ElmConstructor -> ElmConstructor -> Bool #

(/=) :: ElmConstructor -> ElmConstructor -> Bool #

data ElmPrimitive Source #

Constructors

EInt 
EBool 
EChar 
EDate 
EFloat 
EString 
EUnit 
EList ElmDatatype 
EMaybe ElmDatatype 
ETuple2 ElmDatatype ElmDatatype 
EDict ElmPrimitive ElmDatatype 

Instances

Instances details
Show ElmPrimitive Source # 
Instance details

Defined in Elm.Type

Methods

showsPrec :: Int -> ElmPrimitive -> ShowS #

show :: ElmPrimitive -> String #

showList :: [ElmPrimitive] -> ShowS #

Eq ElmPrimitive Source # 
Instance details

Defined in Elm.Type

Methods

(==) :: ElmPrimitive -> ElmPrimitive -> Bool #

(/=) :: ElmPrimitive -> ElmPrimitive -> Bool #

data ElmValue Source #

Constructors

ElmRef Text 
ElmEmpty 
ElmPrimitiveRef ElmPrimitive 
Values ElmValue ElmValue 
ElmField Text ElmValue 

Instances

Instances details
Show ElmValue Source # 
Instance details

Defined in Elm.Type

Methods

showsPrec :: Int -> ElmValue -> ShowS #

show :: ElmValue -> String #

showList :: [ElmValue] -> ShowS #

Eq ElmValue Source # 
Instance details

Defined in Elm.Type

Methods

(==) :: ElmValue -> ElmValue -> Bool #

(/=) :: ElmValue -> ElmValue -> Bool #

class ElmType a where Source #

Minimal complete definition

Nothing

Methods

toElmType :: a -> ElmDatatype Source #

default toElmType :: (Generic a, GenericElmDatatype (Rep a)) => a -> ElmDatatype Source #

Instances

Instances details
ElmType Int16 Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Int16 -> ElmDatatype Source #

ElmType Int32 Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Int32 -> ElmDatatype Source #

ElmType Int64 Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Int64 -> ElmDatatype Source #

ElmType Int8 Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Int8 -> ElmDatatype Source #

ElmType Text Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Text -> ElmDatatype Source #

ElmType Day Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Day -> ElmDatatype Source #

ElmType UTCTime Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: UTCTime -> ElmDatatype Source #

ElmType () Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: () -> ElmDatatype Source #

ElmType Bool Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Bool -> ElmDatatype Source #

ElmType Char Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Char -> ElmDatatype Source #

ElmType Double Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Double -> ElmDatatype Source #

ElmType Float Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Float -> ElmDatatype Source #

ElmType Int Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Int -> ElmDatatype Source #

ElmType v => ElmType (IntMap v) Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: IntMap v -> ElmDatatype Source #

ElmType a => ElmType (Maybe a) Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Maybe a -> ElmDatatype Source #

ElmType a => ElmType [a] Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: [a] -> ElmDatatype Source #

ElmType a => ElmType (Proxy a) Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Proxy a -> ElmDatatype Source #

(HasElmComparable k, ElmType v) => ElmType (Map k v) Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: Map k v -> ElmDatatype Source #

(ElmType a, ElmType b) => ElmType (a, b) Source # 
Instance details

Defined in Elm.Type

Methods

toElmType :: (a, b) -> ElmDatatype Source #

class GenericElmDatatype (f :: Type -> Type) where Source #

Methods

genericToElmDatatype :: f a -> ElmDatatype Source #

Instances

Instances details
(Datatype d, GenericElmConstructor f) => GenericElmDatatype (D1 d f) Source # 
Instance details

Defined in Elm.Type

Methods

genericToElmDatatype :: D1 d f a -> ElmDatatype Source #

class GenericElmConstructor (f :: Type -> Type) where Source #

Methods

genericToElmConstructor :: f a -> ElmConstructor Source #

Instances

Instances details
(GenericElmConstructor f, GenericElmConstructor g) => GenericElmConstructor (f :+: g) Source # 
Instance details

Defined in Elm.Type

Methods

genericToElmConstructor :: (f :+: g) a -> ElmConstructor Source #

(Constructor c, GenericElmValue f) => GenericElmConstructor (C1 c f) Source # 
Instance details

Defined in Elm.Type

Methods

genericToElmConstructor :: C1 c f a -> ElmConstructor Source #

class GenericElmValue (f :: Type -> Type) where Source #

Methods

genericToElmValue :: f a -> ElmValue Source #

Instances

Instances details
GenericElmValue (U1 :: Type -> Type) Source # 
Instance details

Defined in Elm.Type

Methods

genericToElmValue :: U1 a -> ElmValue Source #

ElmType a => GenericElmValue (Rec0 a) Source # 
Instance details

Defined in Elm.Type

Methods

genericToElmValue :: Rec0 a a0 -> ElmValue Source #

(GenericElmValue f, GenericElmValue g) => GenericElmValue (f :*: g) Source # 
Instance details

Defined in Elm.Type

Methods

genericToElmValue :: (f :*: g) a -> ElmValue Source #

(Selector s, GenericElmValue a) => GenericElmValue (S1 s a) Source # 
Instance details

Defined in Elm.Type

Methods

genericToElmValue :: S1 s a a0 -> ElmValue Source #

class HasElmComparable a where Source #

Methods

toElmComparable :: a -> ElmPrimitive Source #

Instances

Instances details
HasElmComparable String Source # 
Instance details

Defined in Elm.Type

Methods

toElmComparable :: String -> ElmPrimitive Source #