License	BSD-3-Clause
Safe Haskell	None
Language	Haskell2010

Swarm.Language.Typed

Description

Synopsis

data Typed v = Typed {
- _value :: v
- _polytype :: Polytype
- _requires :: Requirements
}
value :: forall v1 v2 f. Functor f => (v1 -> f v2) -> Typed v1 -> f (Typed v2)
polytype :: forall v f. Functor f => (Polytype -> f Polytype) -> Typed v -> f (Typed v)
requires :: forall v f. Functor f => (Requirements -> f Requirements) -> Typed v -> f (Typed v)

Documentation

data Typed v Source #

A value, or a hole, or something else that has its type & requirements fixed

Constructors

Typed
Fields _value :: v _polytype :: Polytype _requires :: Requirements

Instances

Instances details

FromJSON v => FromJSON (Typed v) Source #

Instance details

Defined in Swarm.Language.Typed

Methods

parseJSON :: Value -> Parser (Typed v) #

parseJSONList :: Value -> Parser [Typed v] #

omittedField :: Maybe (Typed v) #

ToJSON v => ToJSON (Typed v) Source #

Instance details

Defined in Swarm.Language.Typed

Methods

toJSON :: Typed v -> Value #

toEncoding :: Typed v -> Encoding #

toJSONList :: [Typed v] -> Value #

toEncodingList :: [Typed v] -> Encoding #

omitField :: Typed v -> Bool #

Generic (Typed v) Source #

Instance details

Defined in Swarm.Language.Typed

Associated Types

type Rep (Typed v)

Instance details

Defined in Swarm.Language.Typed

type Rep (Typed v) = D1 ('MetaData "Typed" "Swarm.Language.Typed" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) (C1 ('MetaCons "Typed" 'PrefixI 'True) (S1 ('MetaSel ('Just "_value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 v) :*: (S1 ('MetaSel ('Just "_polytype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Polytype) :*: S1 ('MetaSel ('Just "_requires") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Requirements))))

Methods

from :: Typed v -> Rep (Typed v) x #

to :: Rep (Typed v) x -> Typed v #

Show v => Show (Typed v) Source #

Instance details

Defined in Swarm.Language.Typed

Methods

showsPrec :: Int -> Typed v -> ShowS #

show :: Typed v -> String #

showList :: [Typed v] -> ShowS #

Eq v => Eq (Typed v) Source #

Instance details

Defined in Swarm.Language.Typed

Methods

(==) :: Typed v -> Typed v -> Bool #

(/=) :: Typed v -> Typed v -> Bool #

type Rep (Typed v) Source #

Instance details

Defined in Swarm.Language.Typed

type Rep (Typed v) = D1 ('MetaData "Typed" "Swarm.Language.Typed" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-lang" 'False) (C1 ('MetaCons "Typed" 'PrefixI 'True) (S1 ('MetaSel ('Just "_value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 v) :*: (S1 ('MetaSel ('Just "_polytype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Polytype) :*: S1 ('MetaSel ('Just "_requires") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Requirements))))

value :: forall v1 v2 f. Functor f => (v1 -> f v2) -> Typed v1 -> f (Typed v2) Source #

polytype :: forall v f. Functor f => (Polytype -> f Polytype) -> Typed v -> f (Typed v) Source #

requires :: forall v f. Functor f => (Requirements -> f Requirements) -> Typed v -> f (Typed v) Source #