Safe Haskell	Safe
Language	Haskell2010

Data.Model.Class

Contents

Utilities
Re-exports

Synopsis

typeModel :: AsType (Ana a) => Proxy a -> HTypeModel
class (Typeable a, AsType (Ana a)) => Model a where
- envType :: Proxy a -> State Env HType
class AsType a where
- asType :: a -> State Env HType
useCT :: Typeable a => Maybe (ConTree String HTypeRef) -> proxy a -> State Env (Type (TypeRef QualName))
type family Ana t where ...

Documentation

typeModel :: AsType (Ana a) => Proxy a -> HTypeModel Source #

Return the model for the given type

class (Typeable a, AsType (Ana a)) => Model a where Source #

Class of types whose model can be calculated Instances are derived automatically, provided that the data type has an instance for Generics

Minimal complete definition

Nothing

Methods

envType :: Proxy a -> State Env HType Source #

Given a type proxy, update the environment with the ADTs referred by it and return the corresponding HType

envType :: (Generic a, GModel (Rep a)) => Proxy a -> State Env HType Source #

Given a type proxy, update the environment with the ADTs referred by it and return the corresponding HType

Instances

Model Bool Source #
Instance details Defined in Data.Model.Instances Methods envType :: Proxy Bool -> State Env HType Source #
Model a => Model (Maybe a) Source #
Instance details Defined in Data.Model.Instances Methods envType :: Proxy (Maybe a) -> State Env HType Source #
(KnownNat t, Typeable t) => Model (ANat t) Source #	TypeLits are used to represent data type's parameters.
Instance details Defined in Data.Model.Class Methods envType :: Proxy (ANat t) -> State Env HType Source #
(Model a, Model b) => Model (Either a b) Source #
Instance details Defined in Data.Model.Instances Methods envType :: Proxy (Either a b) -> State Env HType Source #

class AsType a where Source #

Helper class used to capture the type parameters

Methods

asType :: a -> State Env HType Source #

Instances

Model a => AsType (Typ a) Source #
Instance details Defined in Data.Model.Class Methods asType :: Typ a -> State Env HType Source #
(AsType f, AsType a) => AsType (App f a) Source #
Instance details Defined in Data.Model.Class Methods asType :: App f a -> State Env HType Source #

Utilities

useCT :: Typeable a => Maybe (ConTree String HTypeRef) -> proxy a -> State Env (Type (TypeRef QualName)) Source #

Use the given constructors tree as model for the given type, returns the build type Exported so that it can be used to overwrite default definitions

Re-exports

type family Ana t where ... Source #

Abstract a concrete type to a type applied to variables.

More precisely: to a meta-representation where type application is represented by App, data types are marked by Typ and variables are represented by ANat types.

BUG: Silently fails for types with more than 9 parameters (should be defined recursively, if you know how let me know)

Examples:

>>> :kind!  Ana (Maybe Bool)
Ana (Maybe Bool) :: *
= App (Typ (Maybe A0)) (Typ Bool)

>>> :kind! Ana (Maybe Char)
Ana (Maybe Char) :: * 
= App (Typ (Maybe A0)) (Typ Char)

>>> :kind! Ana (Either Int (Maybe Bool))
Ana (Either Int (Maybe Bool)) :: *
= App
    (App (Typ (Either A0 A1)) (Typ Int))
    (App (Typ (Maybe A0)) (Typ Bool))

>>> :kind! Ana ([(Bool,())])
Ana ([(Bool,())]) :: * 
= App (Typ [A0]) (App (App (Typ (A0, A1)) (Typ Bool)) (Typ ()))

Equations

Ana (f a0 a1 a2 a3 a4 a5 a6 a7 a8) = App (App (App (App (App (App (App (App (App (Typ (f A0 A1 A2 A3 A4 A5 A6 A7 A8)) (Ana a0)) (Ana a1)) (Ana a2)) (Ana a3)) (Ana a4)) (Ana a5)) (Ana a6)) (Ana a7)) (Ana a8)
Ana (f a0 a1 a2 a3 a4 a5 a6 a7) = App (App (App (App (App (App (App (App (Typ (f A0 A1 A2 A3 A4 A5 A6 A7)) (Ana a0)) (Ana a1)) (Ana a2)) (Ana a3)) (Ana a4)) (Ana a5)) (Ana a6)) (Ana a7)
Ana (f a0 a1 a2 a3 a4 a5 a6) = App (App (App (App (App (App (App (Typ (f A0 A1 A2 A3 A4 A5 A6)) (Ana a0)) (Ana a1)) (Ana a2)) (Ana a3)) (Ana a4)) (Ana a5)) (Ana a6)
Ana (f a0 a1 a2 a3 a4 a5) = App (App (App (App (App (App (Typ (f A0 A1 A2 A3 A4 A5)) (Ana a0)) (Ana a1)) (Ana a2)) (Ana a3)) (Ana a4)) (Ana a5)
Ana (f a0 a1 a2 a3 a4) = App (App (App (App (App (Typ (f A0 A1 A2 A3 A4)) (Ana a0)) (Ana a1)) (Ana a2)) (Ana a3)) (Ana a4)
Ana (f a0 a1 a2 a3) = App (App (App (App (Typ (f A0 A1 A2 A3)) (Ana a0)) (Ana a1)) (Ana a2)) (Ana a3)
Ana (f a0 a1 a2) = App (App (App (Typ (f A0 A1 A2)) (Ana a0)) (Ana a1)) (Ana a2)
Ana (f a0 a1) = App (App (Typ (f A0 A1)) (Ana a0)) (Ana a1)
Ana (f a0) = App (Typ (f A0)) (Ana a0)
Ana a = Typ a