Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype VCObjectHash = VCObjectHash {}
- data VCObject
- = VCModule (Module (Map Ident VCObjectHash))
- | VCFunction (Expr (Pinned VCObjectHash) ()) TCScheme
- | VCTestFunction (Expr (Pinned VCObjectHash) ())
- | VCEnum Ident (Set Ident)
- data VCObjectVisibility
- data VCMeta author group o = VCMeta {
- timestamp :: CTime
- author :: author
- group :: group
- name :: Text
- description :: Text
- pred :: VCObjectPred
- visibility :: VCObjectVisibility
- obj :: o
- newtype VCCommitMessage = VCCommitMessage {}
- data VCIncompatReason
- data VCObjectPred
- class VCHashUpdate obj where
- data Pinned a
- = Local
- | Builtin VCObjectHash
- | UnderVC a
- vcObjectHashToByteString :: VCObjectHash -> ByteString
- vcHash :: VCHashUpdate obj => obj -> VCObjectHash
- showVCObjectType :: VCObject -> Text
Documentation
newtype VCObjectHash #
Instances
VCModule (Module (Map Ident VCObjectHash)) | |
VCFunction (Expr (Pinned VCObjectHash) ()) TCScheme | |
VCTestFunction (Expr (Pinned VCObjectHash) ()) | |
VCEnum Ident (Set Ident) |
Instances
data VCObjectVisibility Source #
Instances
data VCMeta author group o Source #
VCMeta | |
|
Instances
newtype VCCommitMessage Source #
Instances
data VCIncompatReason Source #
Instances
data VCObjectPred Source #
Init | Original script (root of the histories). |
CompatibleWithPred VCObjectHash | |
IncompatibleWithPred VCObjectHash [(Namespace, VCIncompatReason)] | |
MarkedBreakingWithPred VCObjectHash | |
CloneOf VCObjectHash | Similar to |
CloneOfRemoved VCObjectHash | CloneOfRemoved' is a "virtual" constructor to differentiate that the source of the script has been removed (but can
still be found in removed directory). However, in the DB the field is still stored as |
CloneOfNotFound VCObjectHash |
|
Instances
class VCHashUpdate obj where #
Typeclass of hashable objects
Nothing
Instances
Instances
Functor Pinned | |
FromJSON a => FromJSON (Pinned a) | |
ToJSON a => ToJSON (Pinned a) | |
Defined in Inferno.Types.VersionControl | |
Data a => Data (Pinned a) | |
Defined in Inferno.Types.VersionControl 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) | |
Show a => Show (Pinned a) | |
Eq a => Eq (Pinned a) | |
Ord a => Ord (Pinned a) | |
Defined in Inferno.Types.VersionControl | |
VCHashUpdate a => VCHashUpdate (Pinned a) | |
type Rep (Pinned a) | |
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)))) |
vcHash :: VCHashUpdate obj => obj -> VCObjectHash #
showVCObjectType :: VCObject -> Text Source #