Hasklepias.Types.Feature

Types

data Show b => FeatureSpec b k d

A FeatureSpec contains all the information needed to derive a Feature: * its name * its attributes * the function needed to derive a feature (i.e. the FeatureDefinition)

Constructors

FeatureSpec

Fields

• getSpecName :: Text
• getSpecAttr :: b
• getDefn :: FeatureDefinition k d

data Show b => Feature b d

A Feature contains the following: * a name * its attributes * FeatureData

Constructors

Feature

Fields

• getName :: Text
• getAttr :: b
• getData :: FeatureData d

Instances

(Show b, Eq b, Eq d) => Eq (Feature b d)

Defined in Hasklepias.Types.Feature

Methods

(==) :: Feature b d -> Feature b d -> Bool

(/=) :: Feature b d -> Feature b d -> Bool

(Show b, ToJSON b, ToJSON d) => ToJSON (Feature b d)

Defined in Hasklepias.Types.Feature.Aeson

Methods

toJSON :: Feature b d -> Value

toEncoding :: Feature b d -> Encoding

toJSONList :: [Feature b d] -> Value

toEncodingList :: [Feature b d] -> Encoding

newtype FeatureData d

FeatureData is Either MissingReason d, where d can be any type of data derivable from Events.

Constructors

FeatureData

Fields

• getFeatureData :: Either MissingReason d

Instances

Functor FeatureData

Defined in Hasklepias.Types.Feature

Methods

fmap :: (a -> b) -> FeatureData a -> FeatureData b

(<$) :: a -> FeatureData b -> FeatureData a

Eq d => Eq (FeatureData d)

Defined in Hasklepias.Types.Feature

Methods

(==) :: FeatureData d -> FeatureData d -> Bool

(/=) :: FeatureData d -> FeatureData d -> Bool

Show d => Show (FeatureData d)

Defined in Hasklepias.Types.Feature

Methods

showsPrec :: Int -> FeatureData d -> ShowS

show :: FeatureData d -> String

showList :: [FeatureData d] -> ShowS

Generic (FeatureData d)

Defined in Hasklepias.Types.Feature

Associated Types

type Rep (FeatureData d) :: Type -> Type

Methods

from :: FeatureData d -> Rep (FeatureData d) x

to :: Rep (FeatureData d) x -> FeatureData d

ToJSON d => ToJSON (FeatureData d)

Defined in Hasklepias.Types.Feature.Aeson

Methods

toJSON :: FeatureData d -> Value

toEncoding :: FeatureData d -> Encoding

toJSONList :: [FeatureData d] -> Value

toEncodingList :: [FeatureData d] -> Encoding

Defineable (FeatureData e, FeatureData f)

Defined in Hasklepias.Types.Feature

Methods

define :: ((FeatureData e, FeatureData f) -> FeatureData d) -> FeatureDefinition (FeatureData e, FeatureData f) d

eval :: FeatureDefinition (FeatureData e, FeatureData f) d -> (FeatureData e, FeatureData f) -> FeatureData d

Defineable (FeatureData e, Events a)

Defined in Hasklepias.Types.Feature

Methods

define :: ((FeatureData e, Events a) -> FeatureData d) -> FeatureDefinition (FeatureData e, Events a) d

eval :: FeatureDefinition (FeatureData e, Events a) d -> (FeatureData e, Events a) -> FeatureData d

Defineable (FeatureData e, FeatureData f, FeatureData g)

Defined in Hasklepias.Types.Feature

Methods

define :: ((FeatureData e, FeatureData f, FeatureData g) -> FeatureData d) -> FeatureDefinition (FeatureData e, FeatureData f, FeatureData g) d

eval :: FeatureDefinition (FeatureData e, FeatureData f, FeatureData g) d -> (FeatureData e, FeatureData f, FeatureData g) -> FeatureData d

type Rep (FeatureData d)

Defined in Hasklepias.Types.Feature

type Rep (FeatureData d) = D1 ('MetaData "FeatureData" "Hasklepias.Types.Feature" "hasklepias-0.6.1-inplace" 'True) (C1 ('MetaCons "FeatureData" 'PrefixI 'True) (S1 ('MetaSel ('Just "getFeatureData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either MissingReason d))))

data MissingReason

A Feature may be missing for any number of reasons.

Constructors

InsufficientData

Excluded

Other Text

Unknown

Instances

Eq MissingReason

Defined in Hasklepias.Types.Feature

Methods

(==) :: MissingReason -> MissingReason -> Bool

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

Read MissingReason

Defined in Hasklepias.Types.Feature

Methods

readsPrec :: Int -> ReadS MissingReason

readList :: ReadS [MissingReason]

readPrec :: ReadPrec MissingReason

readListPrec :: ReadPrec [MissingReason]

Show MissingReason

Defined in Hasklepias.Types.Feature

Methods

showsPrec :: Int -> MissingReason -> ShowS

show :: MissingReason -> String

showList :: [MissingReason] -> ShowS

Generic MissingReason

Defined in Hasklepias.Types.Feature

Associated Types

type Rep MissingReason :: Type -> Type

Methods

from :: MissingReason -> Rep MissingReason x

to :: Rep MissingReason x -> MissingReason

ToJSON MissingReason

Defined in Hasklepias.Types.Feature.Aeson

Methods

toJSON :: MissingReason -> Value

toEncoding :: MissingReason -> Encoding

toJSONList :: [MissingReason] -> Value

toEncodingList :: [MissingReason] -> Encoding

type Rep MissingReason

Defined in Hasklepias.Types.Feature

type Rep MissingReason = D1 ('MetaData "MissingReason" "Hasklepias.Types.Feature" "hasklepias-0.6.1-inplace" 'False) ((C1 ('MetaCons "InsufficientData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Excluded" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Other" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Unknown" 'PrefixI 'False) (U1 :: Type -> Type)))

newtype FeatureDefinition input d

A type to hold FeatureData definitions; i.e. functions that return features.

Constructors

MkFeatureDef (input -> FeatureData d)

class Defineable input where

Minimal complete definition

Nothing

Methods

define :: (input -> FeatureData d) -> FeatureDefinition input d

eval :: FeatureDefinition input d -> input -> FeatureData d

Instances

Defineable (Events a)

Defined in Hasklepias.Types.Feature

Methods

define :: (Events a -> FeatureData d) -> FeatureDefinition (Events a) d

eval :: FeatureDefinition (Events a) d -> Events a -> FeatureData d

Defineable (FeatureData e, FeatureData f)

Defined in Hasklepias.Types.Feature

Methods

define :: ((FeatureData e, FeatureData f) -> FeatureData d) -> FeatureDefinition (FeatureData e, FeatureData f) d

eval :: FeatureDefinition (FeatureData e, FeatureData f) d -> (FeatureData e, FeatureData f) -> FeatureData d

Defineable (FeatureData e, Events a)

Defined in Hasklepias.Types.Feature

Methods

define :: ((FeatureData e, Events a) -> FeatureData d) -> FeatureDefinition (FeatureData e, Events a) d

eval :: FeatureDefinition (FeatureData e, Events a) d -> (FeatureData e, Events a) -> FeatureData d

Defineable (FeatureData e, FeatureData f, FeatureData g)

Defined in Hasklepias.Types.Feature

Methods

define :: ((FeatureData e, FeatureData f, FeatureData g) -> FeatureData d) -> FeatureDefinition (FeatureData e, FeatureData f, FeatureData g) d

eval :: FeatureDefinition (FeatureData e, FeatureData f, FeatureData g) d -> (FeatureData e, FeatureData f, FeatureData g) -> FeatureData d

maybeFeature :: MissingReason -> (a -> Maybe c) -> (c -> d) -> a -> FeatureData d

featureDataR :: d -> FeatureData d

Create the Right side of FeatureData.

featureDataL :: MissingReason -> FeatureData d

Create the Left side of FeatureData.