inferno-types-0.1.0.0: Core types for Inferno
Safe HaskellSafe-Inferred
LanguageHaskell2010

Inferno.Types.VersionControl

Synopsis

Documentation

newtype VCObjectHash Source #

Instances

Instances details
Arbitrary VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

FromJSON VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

FromJSONKey VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

ToJSON VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

ToJSONKey VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

Data VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VCObjectHash -> c VCObjectHash #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VCObjectHash #

toConstr :: VCObjectHash -> Constr #

dataTypeOf :: VCObjectHash -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VCObjectHash) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VCObjectHash) #

gmapT :: (forall b. Data b => b -> b) -> VCObjectHash -> VCObjectHash #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VCObjectHash -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VCObjectHash -> r #

gmapQ :: (forall d. Data d => d -> u) -> VCObjectHash -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> VCObjectHash -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VCObjectHash -> m VCObjectHash #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VCObjectHash -> m VCObjectHash #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VCObjectHash -> m VCObjectHash #

Generic VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

Associated Types

type Rep VCObjectHash :: Type -> Type #

Read VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

Show VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

NFData VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

rnf :: VCObjectHash -> () #

Eq VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

Ord VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

Hashable VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

FromHttpApiData VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

ToHttpApiData VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

ByteArrayAccess VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

ToADTArbitrary VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

type Rep VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

type Rep VCObjectHash = D1 ('MetaData "VCObjectHash" "Inferno.Types.VersionControl" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'True) (C1 ('MetaCons "VCObjectHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "vcObjectHashDigest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Digest SHA256))))

class VCHashUpdate obj where Source #

Typeclass of hashable objects

Minimal complete definition

Nothing

Methods

(&<) :: Context SHA256 -> obj -> Context SHA256 Source #

default (&<) :: (Generic obj, GenericVCHashUpdate (Rep obj)) => Context SHA256 -> obj -> Context SHA256 Source #

Instances

Instances details
VCHashUpdate CTime Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Int32 Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Int64 Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Word32 Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Word64 Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate ByteString Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate BuiltinEnumHash Source # 
Instance details

Defined in Inferno.Types.Module

VCHashUpdate BuiltinFunHash Source # 
Instance details

Defined in Inferno.Types.Module

VCHashUpdate BuiltinModuleHash Source # 
Instance details

Defined in Inferno.Types.Module

VCHashUpdate BaseType Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate ExtIdent Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Fixity Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Ident Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate ImplExpl Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate InfernoType Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate InfixFixity Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Lit Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate ModuleName Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate TV Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate ImplType Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Namespace Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate TCScheme Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate TypeClass Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate VCObjectHash Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate SourcePos Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Text Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate () Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> () -> Context SHA256 Source #

VCHashUpdate Double Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate Int Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate a => VCHashUpdate (IntMap a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate a => VCHashUpdate (Set a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate objs => VCHashUpdate (Module objs) Source # 
Instance details

Defined in Inferno.Types.Module

VCHashUpdate a => VCHashUpdate (Comment a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate a => VCHashUpdate (Import a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate a => VCHashUpdate (Scoped a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate e => VCHashUpdate (SomeIStr e) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate a => VCHashUpdate (TList a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate ty => VCHashUpdate (TypeMetadata ty) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate a => VCHashUpdate (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Show a => VCHashUpdate (VCHashUpdateViaShow a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate a => VCHashUpdate (NonEmpty a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

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

Defined in Inferno.Types.VersionControl

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

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> [a] -> Context SHA256 Source #

(VCHashUpdate k, VCHashUpdate a) => VCHashUpdate (Map k a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> Map k a -> Context SHA256 Source #

(VCHashUpdate hash, VCHashUpdate a) => VCHashUpdate (Expr hash a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> Expr hash a -> Context SHA256 Source #

VCHashUpdate e => VCHashUpdate (IStr f e) Source # 
Instance details

Defined in Inferno.Types.VersionControl

(VCHashUpdate hash, VCHashUpdate a) => VCHashUpdate (Pat hash a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> Pat hash a -> Context SHA256 Source #

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

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> (a, b) -> Context SHA256 Source #

(VCHashUpdate a, VCHashUpdate b, VCHashUpdate c) => VCHashUpdate (a, b, c) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> (a, b, c) -> Context SHA256 Source #

(VCHashUpdate a, VCHashUpdate b, VCHashUpdate c, VCHashUpdate d) => VCHashUpdate (a, b, c, d) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> (a, b, c, d) -> Context SHA256 Source #

(VCHashUpdate a, VCHashUpdate b, VCHashUpdate c, VCHashUpdate d, VCHashUpdate e) => VCHashUpdate (a, b, c, d, e) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> (a, b, c, d, e) -> Context SHA256 Source #

hashUpdateVia :: ByteArrayAccess ba => (obj -> ba) -> Context SHA256 -> obj -> Context SHA256 Source #

newtype VCHashUpdateViaShow a Source #

Constructors

VCHashUpdateViaShow 

Instances

Instances details
Show a => VCHashUpdate (VCHashUpdateViaShow a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

class GenericVCHashUpdate f where Source #

Instances

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

Defined in Inferno.Types.VersionControl

GenericVCHashUpdate f => GenericVCHashUpdate (Rec1 f) Source # 
Instance details

Defined in Inferno.Types.VersionControl

(GenericVCHashUpdate a, GenericVCHashUpdate b) => GenericVCHashUpdate (a :*: b) Source # 
Instance details

Defined in Inferno.Types.VersionControl

(GenericVCHashUpdate a, GenericVCHashUpdate b) => GenericVCHashUpdate (a :+: b) Source # 
Instance details

Defined in Inferno.Types.VersionControl

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

Defined in Inferno.Types.VersionControl

GenericVCHashUpdate f => GenericVCHashUpdate (D1 c f) Source # 
Instance details

Defined in Inferno.Types.VersionControl

VCHashUpdate a => GenericVCHashUpdate (K1 i a :: Type -> Type) Source # 
Instance details

Defined in Inferno.Types.VersionControl

GenericVCHashUpdate f => GenericVCHashUpdate (S1 c f) Source # 
Instance details

Defined in Inferno.Types.VersionControl

data Pinned a Source #

Constructors

Local 
Builtin VCObjectHash 
UnderVC a 

Instances

Instances details
Functor Pinned Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

fmap :: (a -> b) -> Pinned a -> Pinned b #

(<$) :: a -> Pinned b -> Pinned a #

FromJSON a => FromJSON (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

ToJSON a => ToJSON (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Data a => Data (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pinned a -> c (Pinned a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Pinned a) #

toConstr :: Pinned a -> Constr #

dataTypeOf :: Pinned a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Pinned a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Pinned a)) #

gmapT :: (forall b. Data b => b -> b) -> Pinned a -> Pinned a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pinned a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pinned a -> r #

gmapQ :: (forall d. Data d => d -> u) -> Pinned a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pinned a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pinned a -> m (Pinned a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pinned a -> m (Pinned a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pinned a -> m (Pinned a) #

Generic (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Associated Types

type Rep (Pinned a) :: Type -> Type #

Methods

from :: Pinned a -> Rep (Pinned a) x #

to :: Rep (Pinned a) x -> Pinned a #

Show a => Show (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

showsPrec :: Int -> Pinned a -> ShowS #

show :: Pinned a -> String #

showList :: [Pinned a] -> ShowS #

Eq a => Eq (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

(==) :: Pinned a -> Pinned a -> Bool #

(/=) :: Pinned a -> Pinned a -> Bool #

Ord a => Ord (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

Methods

compare :: Pinned a -> Pinned a -> Ordering #

(<) :: Pinned a -> Pinned a -> Bool #

(<=) :: Pinned a -> Pinned a -> Bool #

(>) :: Pinned a -> Pinned a -> Bool #

(>=) :: Pinned a -> Pinned a -> Bool #

max :: Pinned a -> Pinned a -> Pinned a #

min :: Pinned a -> Pinned a -> Pinned a #

VCHashUpdate a => VCHashUpdate (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

type Rep (Pinned a) Source # 
Instance details

Defined in Inferno.Types.VersionControl

type Rep (Pinned a) = D1 ('MetaData "Pinned" "Inferno.Types.VersionControl" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (C1 ('MetaCons "Local" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Builtin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectHash)) :+: C1 ('MetaCons "UnderVC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

Orphan instances